数理論理学(数学基礎論) その11at MATH数理論理学(数学基礎論) その11 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト50:132人目の素数さん 12/01/08 10:37:05.81 .net http://uni.2ch.net/test/read.cgi/math/1325513069/165 トンデモの特徴「相手が皆同じに見える」w 51:132人目の素数さん 12/01/08 12:24:29.40 .net >>47 元の文の方がよくないか? 52:132人目の素数さん 12/01/08 15:40:58.70 .net >>50 頭悪いな。 「逆理の解消」と「無矛盾性への疑念の解消」は違うんだよ。 53:132人目の素数さん 12/01/08 17:08:34.03 .net 横レスだが違うと思ってなきゃ元の方がいいだなんて思うわけないだろw 54:132人目の素数さん 12/01/08 17:56:36.91 .net >>52 違うっていったってどうせ字数が違うとかそういう話だろw 55:132人目の素数さん 12/01/08 18:47:40.31 .net どちらの表現がいいかは別にしてお前の方が頭悪く見える件 56:132人目の素数さん 12/01/08 22:17:32.59 .net 前スレの 935 :132人目の素数さん Vopěnka's principle(VP):="Cが言語のモデルの宇宙としてのプロパークラスとしたとき、 Cの2つの要素を任意にとると、片方がもう片方に初等埋め込み可能" 「VP⇒拡張可能基数」が成り立つからかなり強い仮定。 また膨大基数kを仮定すると、V_k(累積的階層)がVPのモデルになる。 が累積的階層であるとき、この階層のランクの添え字の基数がVopěnka基数。 に対して 958 :132人目の素数さん: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