Chang, C. C.; Keisler, H. J. Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi+650 pp. ISBN 0-444-88054-2
Marker, David (2002). Model Theory: An Introduction. New York: Springer-Verlag. ISBN 0-387-98760-6
Poizat, Bruno; Trans: Klein, Moses (2000), A Course in Model Theory, New York: Springer-Verlag. ISBN 0-387-98655-3
飽和模型, 在模型論中, 可以大致描述為一個實現夠小的型的模型, 定義, 编辑令, 為一個基數, displaystyle, mathcal, nbsp, 為某個一階語言中對某理論的模型, displaystyle, mathcal, nbsp, 被稱作是, 飽和, 當且僅當對所有基數小於, 的子集, displaystyle, subset, mathcal, nbsp, 為參數的完備型都被, displaystyle, mathcal, nbsp, 實現, displaystyle, mathcal, nbsp. 在模型論中 飽和模型可以大致描述為一個實現夠小的型的模型 定義 编辑令 k 為一個基數 M displaystyle mathcal M nbsp 為某個一階語言中對某理論的模型 M displaystyle mathcal M nbsp 被稱作是 k 飽和 的 當且僅當對所有基數小於 k 的子集 A M displaystyle A subset mathcal M nbsp 以 A 為參數的完備型都被 M displaystyle mathcal M nbsp 實現 M displaystyle mathcal M nbsp 被稱作是飽和的 當且僅當它是 M displaystyle mathcal M nbsp 飽和的 例子 编辑有理數作為稠密全序的模型 Q lt displaystyle mathbb Q lt nbsp 是飽和的 可數的隨機圖是飽和的 自然數 N S displaystyle mathbb N S nbsp 其中 S 表後繼元素 非飽和 因為以下公式x gt S 0 x gt S S 0 x gt S S S 0 displaystyle x gt S 0 x gt S S 0 x gt S S S 0 cdots nbsp 是相容的 因而包含於某個完備型 然而它無法在 N displaystyle mathbb N nbsp 中實現 文獻 编辑Chang C C Keisler H J Model theory Third edition Studies in Logic and the Foundations of Mathematics 73 North Holland Publishing Co Amsterdam 1990 xvi 650 pp ISBN 0 444 88054 2 Marker David 2002 Model Theory An Introduction New York Springer Verlag ISBN 0 387 98760 6 Poizat Bruno Trans Klein Moses 2000 A Course in Model Theory New York Springer Verlag ISBN 0 387 98655 3 nbsp 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 飽和模型 amp oldid 67739128, 维基百科，wiki，书籍，书籍，图书馆，
