Existential Closure

A class of processes which attempt to round off a domain and simplify its theory by adjoining elements.

See also

Model Completion

Explore with Wolfram|Alpha

More things to try:

References

Manders, K. L. "Domain Extension and the Philosophy of Mathematics." J. Philos. 86, 553-562, 1989.

Referenced on Wolfram|Alpha

Existential Closure

Cite this as:

Weisstein, Eric W. "Existential Closure." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ExistentialClosure.html

Subject classifications