Real closed fields via strong Solovay reducibility

履歴
2024年12月26日ページ作成

タイトル
Real closed fields via strong Solovay reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki

種類
研究論文

ジャーナル
雑誌に投稿し査読中

ダウンロード
preprint