Robinson test
From Encyclopedia of Mathematics
The following necessary and sufficient criterion for an elementary theory 
to be model complete (cf. Model theory): for every two models 
and 
of 
such that 
is a substructure of 
(cf. Structure), it follows that 
is existentially closed in 
.
How to Cite This Entry:
Robinson test. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Robinson_test&oldid=13614
Robinson test. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Robinson_test&oldid=13614
This article was adapted from an original article by F.-V. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article