Difference between revisions of "Robinson test"
From Encyclopedia of Mathematics
(Importing text file) |
(Tex done) |
||
| Line 1: | Line 1: | ||
| − | The following necessary and sufficient criterion for an [[ | + | 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(2)|Structure]]), it follows that $A$ is [[existentially closed]] in $B$. |
| + | |||
| + | {{TEX|done}} | ||
Latest revision as of 19:56, 9 December 2016
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=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