Real closed fields via strong Solovay reducibility

履歴
2025年5月23日アクセプト
2025年4月26日新しいプレプリントをアップロード
2024年12月26日ページ作成

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

種類
研究論文

ジャーナル
2025年5月23日Computabilityにてアクセプト

ダウンロード
プレプリント