主題
Search

模型完備性


模型完備性是當存在性閉包成功時使用的術語。 複數的形成,以及從仿射幾何到射影幾何的轉變,都是這種成功的例子。 存在性閉包理論為希爾伯特的“理想元素方法”提供了理論基礎。


使用 探索

參考文獻

Manders, K. L. "經典幾何的解釋和模型論." In 模型與集合. Berlin: Springer-Verlag, pp. 297-330, 1984.Manders, K. L. "域擴充套件與數學哲學." 哲學雜誌. 86, 553-562, 1989.

在 中被引用

模型完備性

請引用為

Weisstein, Eric W. "模型完備性." 來自 ——Wolfram 網路資源。 https://mathworld.tw/ModelCompletion.html

主題分類