Robinson test
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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
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