宮部賢志（ミヤベケンシ）
履歴
2025年6月14日 ページ作成
タイトル
Solovay reducibility for computably approximable reals
種類
CCR 2025 : Computability, Complexity and Randomness & Journées Calculabilités
16-20 Jun 2025 Bordeaux (France)
invited talk
ダウンロード
ccr2025-summary
ccr2025-slide
履歴
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
種類
研究論文
ジャーナル
雑誌に投稿し査読中