[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 50 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
772(2): 2020/04/20(月)10:28 ID:LhH52yzr(1/2) AAS
モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、
異なる強到達不能基数κ、κ'が存在するならば、グロタンディーク宇宙Vκ、Vκ'は(それをドメインとして)ZFCのモデルだが、その間には全単射が存在しないので同型でなく、同型の違いを除いても一意ではないのでは
776(1): 2020/04/20(月)11:09 ID:LhH52yzr(2/2) AAS
>>774
構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、詳しくないから俺には示せないな
＞強到達不能基数は無数に存在
そうなの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s