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
でググっていたら
URLﾘﾝｸ(www.imub.ub.es)
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
URLﾘﾝｸ(www.imub.ub.es)
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
3:１３２人目の素数さん
12/01/14 16:43:27.65
There exist beravoly many cardinal numbers between A_0 and A.
4:１３２人目の素数さん
12/01/14 16:46:41.37
誘導
巨大基数の集合論とその応用
ｽﾚﾘﾝｸ(math板)
5:１３２人目の素数さん
12/01/14 16:49:37.60
私は可測基数が存在しない事は無い事は無い
事は無い事は無い事は無い事は無い事は無い事は無い
事は無い事は無い事は無い事は無い事は無い事は無い
---(中略)---
事は無い事は無い事は無い事は無い事は無い事は無い
事は無い事は無い事は無い事は無い事は無い事は無い
事を発見した。
6:１３２人目の素数さん
12/01/16 19:54:10.44
[T4MNGX]
東京大学
四季
マネーゲーム(マルクス経済学を含む)
ネコ
女の子
X
(第7番目の要素を常に探求中…)
[]
7:あんでぃ
12/01/16 19:54:44.22
/＼＿＿／ヽ
／／~ ~＼:＼
｜ (●) (●) :｜
｜ ノ(＿)ヽ ::｜
｜ `-=ニ=-′::｜
＼ `＝′ ::／
／｀ー―-´＼ラン…ランララ…ランランラン…ランラン…ランラララ～…ランラン…ランララランランラン…平和になったなぁ～…
8:１３２人目の素数さん
12/01/29 06:17:22.59
やってやんよ