レーヴェンハイム-スコーレムの定理

ウィキペディア

レーヴェンハイム-スコーレムの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/05/04 02:48 UTC 版)

レーヴェンハイム-スコーレムの定理（Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。

レーヴェンハイム–スコーレムの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/09/03 13:30 UTC 版)

レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。