抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
第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・京大機械翻訳】