[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
420(1): 08/09(土)11:19 ID:bw4CRSHc(1/6) AAS
>>418
IUT、宇宙（下記）
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
ある特定の文脈において
省7
421(1): 08/09(土)11:27 ID:bw4CRSHc(2/6) AAS
>>420
IUT、宇宙（下記）
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
省6
423(1): 08/09(土)11:43 ID:bw4CRSHc(3/6) AAS
>>421
IUT、宇宙（下記）
上記の圏論の宇宙 グロタンディーク宇宙が考えられた時期と平行して
強制法が考えられた
『直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている』(下記)
そして、21世紀のいま、基礎論屋さんは
宇宙といえば、下記強制法の宇宙を連想する
省23
435(1): 08/09(土)23:19 ID:bw4CRSHc(4/6) AAS
>>426
ふっふ、ほっほ
能ある鷹は爪を隠すが
能ない豚はシッポ出すｗ ；ｐ）
ID:hsNIq93d は、基礎論くんか
外部ﾘﾝｸ[html]:hissi.org
2025年08月09日 > hsNIq93d
省15
436: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/09(土)23:22 ID:bw4CRSHc(5/6) AAS
>>433
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとう。
今後ともよろしく
>>434
あれ？ ID:pntqRxTqは、math jin ご本人？
いつも、Xの情報ありがとうございます
438(1): 08/09(土)23:45 ID:bw4CRSHc(6/6) AAS
>>423 追加
・数学宇宙で、有名どころが3つ
Constructible universe L
Von Neumann universe V
Grothendieck universe U
・包含関係 L⊂V⊂U があります
ここで、Grothendieck universe U を
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s