到達不能基数による真クラスの存在性とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 到達不能基数による真クラスの存在性の意味・解説 

到達不能基数による真クラスの存在性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/19 15:42 UTC 版)

到達不能基数」の記事における「到達不能基数による真クラスの存在性」の解説

興味を深い述語満たす基数によるの真クラス存在主張する集合論重要な公理いくつも存在する到達不能基数に関して対応する公理は、全ての基数 μ に対してそれより真に大き到達不能基数 κ が存在する主張するのである。従って、この公理到達不能基数による無限のタワー存在することを保証する(この公理はしばし到達不能基数公理呼ばれる)。到達不能基数存在性同様に、この公理ZFCの下では証明できないZFCの下で、到達不能基数公理グロタンディークとヴェルディエールのuniverse axiom: 任意の集合 x に対して、x ∈ {\displaystyle \in } U となるグロタンディーク宇宙 U が存在する。と同値である。ZFC公理universe axiom (または同値到達不能基数公理)を付け加えたものはZFCUと表される (これは ZFC に urelements を付け加えたものと混同しないように注意)。この公理系は、例え全ての圏は適切な米田埋め込み(en:Yoneda embedding)を持つということ証明するのに役立つ。 これは巨大基数公理より相対的に弱い。これは次の節の言葉で言うところの∞ が 1-到達不能であると言っていることに等しいからである。ここで ∞ は V に属さない最小順序数、すなわち対象モデル全ての順序数によるクラスである。

※この「到達不能基数による真クラスの存在性」の解説は、「到達不能基数」の解説の一部です。
「到達不能基数による真クラスの存在性」を含む「到達不能基数」の記事については、「到達不能基数」の概要を参照ください。

ウィキペディア小見出し辞書の「到達不能基数による真クラスの存在性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「到達不能基数による真クラスの存在性」の関連用語

到達不能基数による真クラスの存在性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



到達不能基数による真クラスの存在性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの到達不能基数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS