Find link

language:

Find link is a tool written by Edward Betts.

searching for Model complete theory 1 found (311 total)

Quantifier elimination (1,435 words) [view diff] no match in snippet view article find links to article

theory with quantifier elimination is model complete. Conversely, a model-complete theory, whose theory of universal consequences has the amalgamation property