数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch327:132人目の素数さん 12/01/18 17:46:55.71 >>325 Silver indiscernible は順序さえ保てば自由に動かせて 非可算基数はすべて Silver indiscernible なのだから、 critical point を特定の非可算基数になるような L から L への elementary embedding なんて (0^\sharp の存在から)簡単に作れる。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch