Inter-universal geometry と ABC予想 (応援スレ) 73 (787ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
498(1): 08/11(月)14:33 ID:fRqBIPZy(1) AAS
こんな誰でもわかる文章の意味すらとれないゴミ
人格も知能も小学生並
499(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)15:40 ID:f34iaqr/(4/7) AAS
>>497-498
>well-definedではないZFCGを使うんだったら
ふっふ、ほっほ
妄想のお二人 基礎論ど素人さんｗ
『well-definedではないZFCG』？
まず、下記の 薄葉季路（早大理工） 2017春
最後から２枚目と最後とをみてちょ
21世紀のいまどきの 基礎論 宇宙の話が分かるから
分からない人は、薄葉季路先生に聞いてくださいね
基礎論ど素人さんが、妄想でグダグダ言ってもねｗ ；ｐ）
そもそも 下記のIUT IVの Bibliography [McLn] を否定するつもりかい？
ならば、論文かきなよ 『[McLn]は 間違いだぁー』ってよｗ （＾＾
(参考)
外部ﾘﾝｸ[html]:www.mathsoc.jp
日本数学会
数学基礎論および歴史分科会 特別講演
2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
外部ﾘﾝｸ[html]:www.mathsoc.jp
集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
動画ﾘﾝｸ[YouTube]
発表スライド『集合論の宇宙 Universe と Multiverse』
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. (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]:
略
We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model.
Bibliography
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s