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

Inter-universal geometry と ABC予想 (応援スレ) 61at MATH

Inter-universal geometry と ABC予想 (応援スレ) 61 - 暇つぶし2ch802:戟[ヴェンハイム-スコーレム>>730は、難しいよな (参考) 箱入り無数目を語る部屋2 https://rio2016.5ch.net/test/read.cgi/math/1629325917/1 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401 時枝問題（数学セミナー201511月号の記事）「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. （再録） https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム-スコーレムの定理可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。

次ページ

続きを表示

1を表示