モデル理論的性質
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/28 14:33 UTC 版)
真の算術は不安定な理論であり、そのため非可算濃度 κ {\displaystyle \kappa } ごとに 2 κ {\displaystyle 2^{\kappa }} 個のモデルを持つ。この理論は完全なので、そのすべてのモデルは初等的同値である。
※この「モデル理論的性質」の解説は、「真の算術」の解説の一部です。
「モデル理論的性質」を含む「真の算術」の記事については、「真の算術」の概要を参照ください。
- モデル理論的性質のページへのリンク