TOPICS
Search

Model Completion


Model completion is a term employed when existential closure is successful. The formation of the complex numbers, and the move from affine to projective geometry, are successes of this kind. The theory of existential closure gives a theoretical basis of Hilbert's "method of ideal elements."


Explore with Wolfram|Alpha

References

Manders, K. L. "Interpretations and the Model Theory of the Classical Geometries." In Models and Sets. Berlin: Springer-Verlag, pp. 297-330, 1984.Manders, K. L. "Domain Extension and the Philosophy of Mathematics." J. Philos. 86, 553-562, 1989.

Referenced on Wolfram|Alpha

Model Completion

Cite this as:

Weisstein, Eric W. "Model Completion." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ModelCompletion.html

Subject classifications