Namespaces
Variants
Actions

Difference between revisions of "Prime model"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
A model of an [[Elementary theory|elementary theory]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110210/p1102101.png" /> that can be embedded in every model of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110210/p1102102.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110210/p1102103.png" /> is model complete (cf. [[Model theory|Model theory]]) and admits a prime model, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p110/p110210/p1102104.png" /> is complete. This fact is called the prime model test.
+
{{TEX|done}}
 +
A model of an [[Elementary theory|elementary theory]] $T$ that can be embedded in every model of $T$. If $T$ is model complete (cf. [[Model theory|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|prime field]] of that characteristic.
 
The prime model of the elementary theory of all fields with fixed characteristic is the [[Prime field|prime field]] of that characteristic.

Latest revision as of 16:43, 11 April 2014

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=31517
This article was adapted from an original article by F.-V. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article