履歴
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にてアクセプト
ダウンロード
プレプリント
宮部賢志(ミヤベケンシ)
履歴
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にてアクセプト
ダウンロード
プレプリント
履歴
2025年5月2日 ページ作成
タイトル
Quantifier Variations in Solovay Reducibility
種類
American Mathematical Society 2025 Spring Western Sectional Meeting
San Luis Obispo, CA – California Polytechnic, San Luis Obispo, CA
May 3-4, 2025 (Saturday – Sunday)
Special Session on Logic and Analysis, III
履歴
2025年4月12日ページ作成
タイトル
Quantifier Variations in Solovay Reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
種類
研究論文
ジャーナル
雑誌に投稿し査読中
履歴
2025年3月17日 スライドをアップロード
タイトル
量化子変更によるSolovay還元の派生形
種類
日本数学会2025年度年会@早稲田大学での講演
2025年3月18日
隈部正博 (放送大学教養学部)
鈴木登志雄 (都立大学理学研究科)
宮部賢志 (明治大学理工学部, 講演者)
ダウンロード
mathsoc
Solovay-variation