数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:１３２人目の素数さん 12/01/08 10:37:05.81 .net http://uni.2ch.net/test/read.cgi/math/1325513069/165 トンデモの特徴「相手が皆同じに見える」ｗ 51:１３２人目の素数さん 12/01/08 12:24:29.40 .net >>47 元の文の方がよくないか？ 52:１３２人目の素数さん 12/01/08 15:40:58.70 .net >>50 頭悪いな。 「逆理の解消」と「無矛盾性への疑念の解消」は違うんだよ。 53:１３２人目の素数さん 12/01/08 17:08:34.03 .net 横レスだが違うと思ってなきゃ元の方がいいだなんて思うわけないだろｗ 54:１３２人目の素数さん 12/01/08 17:56:36.91 .net >>52 違うっていったってどうせ字数が違うとかそういう話だろｗ 55:１３２人目の素数さん 12/01/08 18:47:40.31 .net どちらの表現がいいかは別にしてお前の方が頭悪く見える件 56:１３２人目の素数さん 12/01/08 22:17:32.59 .net 前スレの 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