Namespaces
Variants
Actions

Robinson test

From Encyclopedia of Mathematics
Revision as of 19:56, 9 December 2016 by Richard Pinch (talk | contribs) (Tex done)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The following necessary and sufficient criterion for an elementary theory $T$ to be model complete (cf. Model theory): for every two models $A$ and $B$ of $T$ such that $A$ is a substructure of $B$ (cf. Structure), it follows that $A$ is existentially closed in $B$.

How to Cite This Entry:
Robinson test. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Robinson_test&oldid=39937
This article was adapted from an original article by F.-V. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article