Namespaces
Variants
Actions

Prime model

From Encyclopedia of Mathematics
Revision as of 16:43, 11 April 2014 by Ivan (talk | contribs) (TeX)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A model of an elementary theory $T$ that can be embedded in every model of $T$. If $T$ is model complete (cf. Model theory) and admits a prime model, then $T$ is complete. This fact is called the prime model test.

The prime model of the elementary theory of all fields with fixed characteristic is the prime field of that characteristic.

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