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

Inter-universal geometry と ABC予想 (応援スレ) 74 (860ﾚｽ)
上下前次 1-新

754: 現代数学の系譜雑談 ◆yH25M02vWFhP 09/05(金)00:24 ID:n1shBuli(2/2) AA×

外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]

754: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/09/05(金) 00:24:18.77 ID:n1shBuli

つづき

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
　　NEW !! (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models. Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf. [McLn], p. 194]:
The various ZFC-models that we work with may be thought of as [but are not restricted to be!] the ZFC-models determined by various universes that are sets relative to some ambient ZFC-model which, in addition to the standard axioms of ZFC set theory, satisfies the following existence axiom [attributed to the “Grothendieck school” — cf. the discussion of [McLn], p. 193]: (†G) Given any set x, there exists a universe V such that x ∈ V. We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model. This existence axiom (†G) implies, in particular, that:
略
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1755784703/754

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

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

ぬこの手ぬこTOP 0.035s