履歴
2025年4月26日新しいプレプリントをアップロード
2024年12月26日ページ作成
タイトル
Real closed fields via strong Solovay reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
種類
研究論文
ジャーナル
雑誌に投稿し査読中
ダウンロード
プレプリント
Quantifier Variations in Solovay Reducibility
履歴
2025年4月12日ページ作成
タイトル
Quantifier Variations in Solovay Reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
種類
研究論文
ジャーナル
雑誌に投稿し査読中
実数の計算可能性
汎用的学習理論
履歴
2024年11月4日ページ作成
タイトル
汎用的学習理論
種類
総説論文
ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動
2228 証明と計算の理論と応用
ダウンロード
京都大学リポジトリからダウンロード
Solovay reducibility via Lipschitz functions and signed-digit representation
履歴
2023年11月7日：投稿
タイトル
Solovay reducibility via Lipschitz functions and signed-digit representation
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
種類
研究論文
出版情報
TBA
要旨
We explore Solovay reducibility in the context of computably approximable reals, extending its natural characterization for left-c.e. reals via computable Lipschitz functions. Our paper offers two distinct characterizations: the first employs Lipschitz functions, while the second utilizes Turing reductions with bounded use with respect to signed-digit representation. Additionally, we examine multiple related reducibilities and establish separations among them. These results contribute to a refined perspective of the relationship between Solovay reducibility and computable Lipschitz functions.