Primmodell
In der Modelltheorie, einem Teilgebiet der mathematischen Logik, nennt man ein Modell einer Theorie Primmodell, wenn sich dieses Modell in jedes Modell dieser Theorie elementar einbetten lässt.
Definition
Im Folgenden ist eine abzählbare Theorie ohne endliche Modelle.
ist ein Primmodell der Theorie genau dann, wenn für alle mit eine Abbildung existiert mit
Beispiele
- Der algebraische Abschluss des Primkörpers (bzw. ) ist ein Primmodell der Theorie der algebraisch abgeschlossenen Körper der Charakteristik (bzw. 0).
- ist ein Primmodell der dichten linearen Ordnungen ohne Extrema.
Eigenschaften
- Aus dem Satz von Löwenheim-Skolem folgt, dass ein Primmodell abzählbar ist.
- Ist -kategorisch, so ist das abzählbare Modell ein Primmodell.
- Zwei Primmodelle einer Theorie sind isomorph.
- Eine Theorie hat genau dann ein Primmodell, wenn die isolierten Typen dicht liegen.
Beispiel einer Theorie ohne Primmodell
Folgende Theorie der Sprache besitzt kein Primmodell: Die Sprache enthält für jedes ein einstelliges Prädikat .
(Zur Notation: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {}^{< \omega}2} ist die Menge aller endliche Folgen, die nur aus Nullen oder Einsen bestehen.)
Die Axiome der Theorie sind (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} durchläuft alle endlichen Folgen):
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall x P_0 (x)}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \exists x P_s (x)}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall x ((P_{s0}(x) \lor P_{s1}(x))\leftrightarrow P_s(x))}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall x \neg(P_{s0}(x) \land P_{s1}(x))}
Die Theorie hat keine isolierten Typen und daher auch kein Primmodell.
Literatur
- Wilfrid Hodges: Model theory. Cambridge University Press, 1993, ISBN 0-521-30442-3.
- Chang, Chen C., Keisler, H.Jerome: Model Theory. Amsterdam [u. a.], North-Holland, 1998.
- Prestel, Alexander: Einführung in die Mathematische Logik und Modelltheorie. Vieweg, Braunschweig 1986. (Vieweg-Studium; 60: Aufbaukurs Mathematik). ISBN 3-528-07260-1. 286 S.
- Philipp Rothmaler: Einführung in die Modelltheorie. Spektrum Akademischer Verlag, 1995, ISBN 978-3-86025-461-5.
Weblinks
- Martin Ziegler: Skript Modelltheorie 1. (PDF; 649 kB)