巨大基数の集合論とその応用 そのアレフ 0at MATH巨大基数の集合論とその応用 そのアレフ 0 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 12/01/14 16:37:24.06 到達不可能基数、弱コンパクト基数、０＃、可測基数、０†、 強コンパクト基数、超コンパクト基数、拡大可能基数、 ヴォピェンカの原理、膨大基数、・・・ さあ語れ！ 2:１３２人目の素数さん 12/01/14 16:39:25.10 数理論理学・数学基礎論 その10 の 935 ：１３２人目の素数さん Vopěnka's principle（VP）:="Cが言語のモデルの宇宙としてのプロパークラスとしたとき、 Cの2つの要素を任意にとると、片方がもう片方に初等埋め込み可能" 「VP⇒拡張可能基数」が成り立つからかなり強い仮定。 また膨大基数kを仮定すると、V_k（累積的階層）がVPのモデルになる。 が累積的階層であるとき、この階層のランクの添え字の基数がVopěnka基数。 に対して 958 ：１３２人目の素数さん：2012/01/02(月) 13:24:57.89 >>931 >Vopěnka's principle でググっていたら http://www.imub.ub.es/hocard11/Problems.pdf が出て来た。 VP に同値な命題がいくつか書いてあり、 さらに WVP なる物もあった。このなかで一つ分からないのが accessible category の定義だ。 accessible ordinal (cardinal) と似たような感じだとは思うが 解説希望 と質問したのだが、未だに回答が無い。 --------------------------------------- で、調べたわけだが http://www.imub.ub.es/hocard11/Gutierrez.pdf にも Vopěnka's principle が、沢山出て来ている。 圏論との関係を説明してくれ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch