Inter-universal geometry と ABC予想 (応援スレ) 76 (921レス)
1-

7
(1): 10/08(水)20:55 ID:c5BcUVu7(7/14) AAS
つづき

外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
Anabelioidの幾何学 望月新一(京都大学数理解析研究所)2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE、F、K等のコピーE◎、F◎、K◎に対する乗法的部分群スキームの構成を目指す

(外部リンク:ja.wikipedia.org
ノイマン宇宙:最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙:到達不能基数あり 外部リンク:ja.wikipedia.org
クラス:ある公理系からは 集合と認められない 集まり(公理系が変われば 変わる)
(参考)>>469 より再録
外部リンク[html]:www.mathsoc.jp
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
外部リンク[pdf]:www.mathsoc.jp
発表スライド『集合論の宇宙 Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である

外部リンク:elecello.com
近藤 友祐 (KONDO, Yusuke) 生年: 1995 年 (平成 7 年) 外部リンク[html]:elecello.com 自己紹介
外部リンク[html]:elecello.com
集合論ノート

外部リンク:konn-san.com
石井 大海
外部リンク[pdf]:konn-san.com
強制法セミナー第0回:忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル(宇宙、universe)に新たな元を付加して拡張するための一般的な枠組みである
つづく
1-
あと 914 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.206s*