Rの非計数性の逆数学【JST・京大機械翻訳】

Sanders Sam

プレプリント

J-GLOBAL ID：202202212566454280 整理番号：22P0301942

Rの非計数性の逆数学【JST・京大機械翻訳】

Reverse Mathematics of the uncountability of $\mathbb{R}$

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年03月10日プレプリントサーバーでの情報更新日： 2022年04月20日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

第1セット理論論文(1874)では,CantorはRの可算性を確立する。著者らは,Kohlenbachの高次逆Mathematicsにおける後者を研究し,1つは二次逆MathematicsにおけるRからN’への「ar的マッピングのような概念を研究できないという観察によって動機づけられた。現在,NIN:NIN:[0,1]からNへの注入は,従来の理解に関して証明が困難であることが最近示された。本論文では,NINが主流関数クラスに制約されたNINとNINの間の等価性を確立することによってロバストであることを示した:有界変動,半連続性,およびBorel。このように,NINの前述の硬度は,NINにおける任意のR→N-関数による定量化によるものではない。最後に,著者らはNBI,NINのバイジェクションへの制限,およびCousinの補助定理とヨルダンの分解定理への接続についても研究した。【JST・京大機械翻訳】

, , , , ,
, , 【Automatic Indexing@JST】

強い相互作用の模型

前のページに戻る