- 1 名前：１３２人目の素数さん [2012/01/14(土) 16:37:24.06 ]
- 到達不可能基数、弱コンパクト基数、０＃、可測基数、０†、
強コンパクト基数、超コンパクト基数、拡大可能基数、
ヴォピェンカの原理、膨大基数、・・・
さあ語れ！
- 2 名前：１３２人目の素数さん [2012/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
でググっていたら
www.imub.ub.es/hocard11/Problems.pdf
が出て来た。 VP に同値な命題がいくつか書いてあり、
さらに WVP なる物もあった。このなかで一つ分からないのが
accessible category の定義だ。
accessible ordinal (cardinal) と似たような感じだとは思うが
解説希望
と質問したのだが、未だに回答が無い。
---------------------------------------
で、調べたわけだが
www.imub.ub.es/hocard11/Gutierrez.pdf
にも
Vopěnka's principle
が、沢山出て来ている。
圏論との関係を説明してくれ
- 3 名前：１３２人目の素数さん [2012/01/14(土) 16:43:27.65 ]
- There exist beravoly many cardinal numbers between A_0 and A.
- 4 名前：１３２人目の素数さん mailto:sage [2012/01/14(土) 16:46:41.37 ]
- 誘導
巨大基数の集合論とその応用
uni.2ch.net/test/read.cgi/math/1326184859/
- 5 名前：１３２人目の素数さん [2012/01/14(土) 16:49:37.60 ]
- 私は可測基数が存在しない事は無い事は無い
事は無い事は無い事は無い事は無い事は無い事は無い
事は無い事は無い事は無い事は無い事は無い事は無い
---(中略)---
事は無い事は無い事は無い事は無い事は無い事は無い
事は無い事は無い事は無い事は無い事は無い事は無い
事を発見した。
- 6 名前：１３２人目の素数さん mailto:sage [2012/01/16(月) 19:54:10.44 ]
- [T4MNGX]
東京大学
四季
マネーゲーム(マルクス経済学を含む)
ネコ
女の子
X
(第7番目の要素を常に探求中…)
[]
- 7 名前：あんでぃ mailto:sage [2012/01/16(月) 19:54:44.22 ]
- /＼＿＿／ヽ
／／~ ~＼:＼
｜ (●) (●) :｜
｜ ノ(＿)ヽ ::｜
｜ `-=ニ=-′::｜
＼ `＝′ ::／
／｀ー――-´＼ラン…ランララ…ランランラン…ランラン…ランラララ〜…ランラン…ランララランランラン…平和になったなぁ〜…
- 8 名前：１３２人目の素数さん mailto:sage [2012/01/29(日) 06:17:22.59 ]
- やってやんよ
|
 |
