Encyclopedia > T > Tarski-Vaught test
Tarski-Vaught test
The Tarski-Vaught test (sometimes called Tarski's criterion) is a result in model theory which characterizes the elementary substructures of a given structure using definable sets. It is often used to determine whether a substructure of a structure is elementary, and is particularly useful in the construction of elementary substructures.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)