26/06/13 09:00:29.52 TTzQJf42.net
つづき
(URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6))
ノイマン宇宙：最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙：到達不能基数あり URLﾘﾝｸ(ja.wikipedia.org)
クラス：ある公理系からは 集合と認められない 集まり（公理系が変われば 変わる）
(参考)>>469 より再録
URLﾘﾝｸ(www.mathsoc.jp)
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
URLﾘﾝｸ(www.mathsoc.jp)
発表スライド『集合論の宇宙 Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である
URLﾘﾝｸ(elecello.com)
近藤 友祐 (KONDO, Yusuke) 生年： 1995 年 (平成 7 年) URLﾘﾝｸ(elecello.com) 自己紹介
URLﾘﾝｸ(elecello.com)
集合論ノート
URLﾘﾝｸ(konn-san.com)
石井 大海
URLﾘﾝｸ(konn-san.com)
強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年11月号
特集＝ 圏論の質問箱
＊「圏が集合にならない」とは……木原貴行 41
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年3月号
集合論の雑学―無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
……池上大祐 60
この記事が飛んできたｗ
参考になりそうだね （＾＾
URLﾘﾝｸ(mathlog.info)
Mathlog
Mark_six
大学数学基礎
解説
可換環論の†全て†を幾何に翻訳して鑑賞しよう~前編~
駒場理数アドベントカレンダー2025
この記事は駒場理数豚汁カレンダー(11月)9日目の記事です。
URLﾘﾝｸ(sites.google.com)
ハブ → 駒場理数サークルのHP 投稿日：11月9日
参考文献
[1] Robin Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer New York, NY, 1977
[2] Atiyah, M. F. and Macdonald, I. G., Introduction to Commutative Algebra, Addison-Wesley, 1969
[3] J. P. May, A Concise Course in Algebraic Topology
つづく