数理論理学（数学基礎論）　その11

前スレの
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
が、沢山出て来ている。
圏論との関係を説明してくれ

>>65
こういうネタは
「集合論スレ」とか「巨大基数スレ」とか
立ててやったほうが盛り上がると思われる。

是非そうしたまえ。

>>66
巨大基数の集合論とその応用　そのアレフ 0
と言うタイトルで立て様と思ったが拒否された。

>>67

http://uni.2ch.net/test/read.cgi/math/1326526644/

代わりに立てた。礼は要らない。