Inter-universal geometry と ABC予想 53

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

758(1): 2020/06/19(金)01:03 ID:xQry/D7n(2/5) AAS
強制法を圏論ハイティング代数で解釈した時の極大基数の応用編だよね
巨大基数って

773: 2020/06/19(金)09:19 ID:b3Zh/JIY(1) AAS
>>758
完備ハイティング代数の話は分からんのだが(極大基数でggっても出なかった)、
おおよその巨大基数はモデルの初等埋め込みの観点から定義できることが分かっているな