Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

247: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/04(火) 23:24:03.26 ID:yzUd5nV9

つづき

（追加）
https://mathoverflow.net/questions/360290/how-strong-a-set-theory-is-necessary-for-practical-purposes-in-sheaf-theory
How strong a set theory is necessary for practical purposes in sheaf theory?
asked May 14, 2020 at 0:09
user158035

1
Thank you David. This paper of McLarty's is really remarkable, and seems to be what I asked for, and then much more as well. –
user158035
CommentedMay 14, 2020 at 15:24
does that mean the Fermat's last theorem can be proved in MacLane set theory (i.e. bounded Zermelo)? –
Zuhair Al-Johar
CommentedMay 14, 2020 at 18:38

@Zuhair absolutely, and weaker foundations; this was the motivation for the paper. –
David Roberts
♦ CommentedMay 14, 2020 at 20:45

(google訳)
1
デイビッドさん、ありがとうございます。マクラーティさんのこの論文は本当に素晴らしいです。私が求めていた通りの内容で、それ以上のものでした。
ユーザー158035
コメントした2020年5月14日 15時24分

それはフェルマーの最終定理がマクレーン集合論（つまり有界ツェルメロ）で証明できることを意味しますか？
Zuhair Al-Johar
コメントした2020年5月14日 18時38分

@Zuhair まさにその通りです。そして基礎が弱いのです。これがこの論文の動機でした。
デビッド・ロバーツ
♦
コメントした2020年5月14日 20時45分
(引用終り)

こんなところに、デビッド・ロバーツが
それはフェルマーの最終定理がマクレーン集合論（つまり有界ツェルメロ）で証明できることを意味しますか？
@Zuhair まさにその通りです。そして基礎が弱いのです。これがこの論文の動機でした。
か・・・ 果たして・・・ （＾＾
以上

http://rio2016.5ch.io/test/read.cgi/math/1761878205/247

上下前次 1-新書関写板覧索設栞歴

あと 755 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 1.595s*