Kapitel 3 Theorien und Modelle

Kapitel 3
Theorien und Modelle
Ausdrucksstärke und Ausdrucksschwäche
der Prädikatenlogik erster Stufe
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
1 / 121
Übersicht
3.1 Theorien und deren Modelle
3.2 Elementare und ∆-elementare Strukturklassen
3.3 Beispiele elementarer Klassen
3.4 Isomorphie und elementare Äquivalenz
3.5 Der Kompaktheitssatz
3.6 Grenzen der Prädikatenlogik erster Stufe: Nicht-∆-elementare
Klassen.
3.7 Die Prädikatenlogik 2. Stufe
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
2 / 121
In der Modelltheorie untersucht man die Beschreibbarkeit mathematischer
Strukturen in der Prädikatenlogik erster Stufe (PL1) oder allgemeiner den
Zusammenhang zwischen mathematischen Strukturen und Theorien (s.u.).
In diesem Kapitel beleuchten wir einige Aspekte dieser Theorie, indem wir
der Frage nachgehen, inwieweit sich mathematische Strukturen bzw. Klassen
von solchen Strukturen in PL1 beschreiben lassen.
Hierzu führen wir zunächst den Begriff der (L-)Theorie T ein - wobei eine
(L-)Theorie T grob gesagt eine Menge von (L-)Sätzen ist.
Die Modellklasse Mod(T ) von T besteht dann gerade aus den Modellen von
T . (Kapitel 3.1)
Wir nennen dann eine Klasse S von Strukturen ∆-elementar, wenn diese die
Modellklasse einer Theorie ist, und wir nennen S elementar, wenn S
Modellklasse einer endlichen Theorie ist (oder - äquivalent hierzu Modelklasse eines einzelnen Satzes ist).
Die ∆-elementaren Klassen sind also die Strukturklassen, die sich in der
Prädikatenlogik erster Stufe (PL1) mit Hilfe von (möglicherweise unendlich
vielen) Sätzen beschreiben lassen, während sich die elementaren Klassen
durch einen Satz (oder äquivalent hierzu: durch endlich viele Sätze) von PL1
beschreiben lassen. (Kapitel 3.2)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
3 / 121
Wir geben dann eine Reihe von Beispielen von elementaren Klassen an, wie
z.B. Lineare Ordnungen, Gruppen und Körper. (Kapitel 3.3)
Wir gehen dann auch der Frage der Beschreibbarkeit einzelner Strukturen
nach. Hierzu beobachten wir zunächst, dass sich Strukturen stets nur bis auf
Isomorphie beschreiben lassen. Wir stellen dann dem Begriff der Isomorphie
den Begriff der elementaren Äquivalenz gegenüber, wobei zwei
(L-)Strukturen elementar aquivalent sind, wenn in ihnen dieselben (L-)Sätze
gelten.
Die Frage der eindeutigen Beschreibbarkeit einer einzelnen (L-)Struktur A
lässt sich dann auf die Frage reduzieren, ob alle zu A elementar äquivalenten
Strukturen isomorph zu A sind oder - anders ausgedrückt - ob die Struktur
A durch ihre Theorie Th(A) = {σ : A ! σ} bis auf Isomorphie eindeutig
bestimmt ist. (Kapitel 3.4)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
4 / 121
Grenzen der Beschreibbarkeit von Strukturen und Strukturklassen in PL1
ergeben sich aus dem Kompaktheitssatz, den wir hier zunächst ohne Beweis
vorstellen. (Kapitel 3.5)
Den Beweis werden wir später führen: Wie bereits in der Aussagenlogik
werden wir den Kompaktheitssatz dadurch beweisen, dass wir die Existenz
eines adäquaten Kalküls für PL1 zeigen werden.
Mit Hilfe des Kompaktheitssatzes werden wir dann Beispiele von
Strukturklassen angeben, die zwar ∆-elementar aber nicht elementar oder
nicht einmal ∆-elementar sind - also in PL1 nicht beschreibbar sind.
Letzteres trifft z.B. auf die Klasse der endlichen (L-)Strukturen, die Klasse
der Wohlordnungen und die Klasse der Körper endlicher Charakteristik zu.
Weiter zeigen wir, dass sich die Struktur der natürlichen Zahlen in PL1 nicht
bis auf Isomorphie beschreiben lässt. (Kapitel 3.6)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
5 / 121
Zum Abschluss werden wir dann eine Erweiterung der Prädikatenlogik erster
Stufe - nämlich die Prädikatenlogik 2. Stufe (PL2) - einführen, in der die
beobachteten Ausdrucksschwächen von PL1 nicht auftreten.
Wir werden daraus folgern, dass es keinen adäquaten Kalkül für diese
stärkere Logik geben kann, d.h. dass der Wahrheitsbegriff von PL2 nicht
adäquat durch einen Beweisbarkeitsbegriff beschrieben werden kann.
(Kapitel 3.7)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
6 / 121
Konventionen
Ist im Folgenden eine Struktur A nicht näher gekennzeichnet, so gehen wir
davon aus, dass A die Struktur
A = (A; (RiA |i ∈ I ); (fjA |j ∈ J); (ckA |k ∈ K ))
der Signatur
σ = σ(A) = ((ni |i ∈ I ); (mj |j ∈ J); K )
ist.
Entsprechend ist die Sprache L - falls nicht anderweitig gesagt - die Sprache
der Signatur
σ = σ(A) = ((ni |i ∈ I ); (mj |j ∈ J); K ).
Weiter gehen wir davon aus, dass Strukturen A und Sprachen L stets
zueinander passen. Sprechen wir also im Zusammenhang mit der Sprache L
von der Struktur A, so gehen wir davon aus, dass A eine L-Struktur ist, und
erwähnen wir im Zusammenhang mit der Struktur A die Sprache L, so
gehen wir davon aus, dass L die Sprache von A ist, also σ(L) = σ(A) gilt.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
7 / 121
3.1 Theorien und deren Modelle
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
8 / 121
Theorien
DEFINITION. Eine (L-)Theorie T ist ein Paar T = (L, Σ), wobei
L eine Sprache der Prädikatenlogik und
Σ eine Menge von L-Sätzen ist.
L heißt die Sprache der Theorie T und Σ die Menge der Axiome von T .
Die Theorie T ist endlich, falls die Menge Σ ihrer Axiome endlich ist.
Die Sprache der Theorie T = (L, Σ) bezeichnen wir auch mit L(T ). Ist diese aus
dem Kontext bekannt, so identifizieren wir die Theorie T auch mit deren
Axiomenmenge Σ.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
9 / 121
Modellklasse einer Theorie
DEFINITION. Die Modellklasse Mod(T ) einer L-Theorie T = (L, Σ) ist die
Menge aller L-Strukturen, die Modell der Axiomenmenge Σ von T sind (d.h. in
denen alle Sätze aus Σ gelten):
Mod(T ) = {A : A ! Σ}
Ist A Modell von Σ so nennen wir A auch Modell von T und schreiben anstelle
von A ! Σ entsprechend A ! T .
Ähnlich schreiben wir statt Σ ! ϕ auch T ! ϕ und sagen, dass ϕ aus T folgt.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
10 / 121
Deduktiver Abschluss und Gleichheit von Theorien
DEFINITION. Der deduktive Abschluss C (T ) = (L, C (Σ)) einer Theorie
T = (L, Σ) ist die Menge aller Folgerungen aus T :
C (Σ) = {σ : T ! σ}.
Zwei L-Theorien T und T ! sind gleich (T = T ! ), falls T und T ! denselben
deduktiven Abschluss haben, d.h. falls C (T ) = C (T ! ) gilt.
Man beachte, dass Σ ⊆ C (Σ) und C (C (Σ)) = C (Σ) für jede L-Theorie
T = (L, Σ) gilt. Weiter sieht man leicht ein, dass zwei L-Theorien genau
dann gleich sind, wenn sie dieselben Modelle besitzen:
LEMMA 1. Für L-Theorien T und T ! gilt:
T = T ! ⇔ Mod(T ) = Mod(T ! )
(Zum Beweis beobachtet man, dass Mod(T ) = Mod(C (T )).)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
11 / 121
Teiltheorien
DEFINITION. Sind T = (L, Σ) und T ! = (L, Σ! ) L-Theorien, so ist T eine
Teiltheorie von T ! (T ⊆ T ! ), falls Σ ⊂ Σ! gilt (also jedes Axiom von T auch
Axiom von T ! ist).
WARNUNG. Aus T = T ! folgt im Allgemeinen nicht, dass T ⊆ T ! gilt. Aus
T = T ! folgt nämlich nur, dass C (Σ) = C (Σ! ) gilt, während aus T ⊆ T ! folgt,
dass Σ ⊆ Σ! gilt. So gilt z.B. für jede Theorie T = (L, Σ), dass die Theorien T
und C (T ) = (L, C (Σ)) gleich sind. I.A. ist aber C (T ) keine Teiltheorie von T , da
C (Σ) nicht in Σ enthalten sein muss. (Ist z.B. Σ = {σ}, so gilt C (Σ) %⊆ Σ, da
z.B. σ ∨ σ ∈ C (Σ) \ Σ liegt.)
Es gilt jedoch stets:
T ⊆ C (T )
T ⊆ T! & T! ⊆ T ⇒ T = T!
T = T ! ⇔ C (T ) = C (T ! ) ⇔ C (T ) ⊆ C (T ! ) & C (T ! ) ⊆ C (T )
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
12 / 121
Theorie einer Struktur
Mit der Modellklasse Mod(T ) ordnen wir einer L-Theorie T eine Klasse von
L-Strukturen zu, nämlich deren Modelle. Umgekehrt kann man einer L-Struktur
A eine L-Theorie Th(A) zuordnen, nämlich die L-Theorie, deren Axiome gerade
diejenigen Sätze sind, die in A gelten.
DEFINITION. Die (elementare) Theorie Th(A) einer L-Struktur A ist die
L-Theorie
Th(A) = (L, Σ) mit Σ = {σ : A ! σ}.
Offensichtlich ist A Modell der Theorie Th(A). In der Tat ist Th(A) die “größte”
Theorie, von der A Modell ist. D.h. es gilt:
A ! T ⇔ T ⊆ Th(A)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
13 / 121
Erfüllbare und vollständige Theorien
DEFINITION. Eine L-Theorie T = (L, Σ) ist
erfüllbar, wenn deren Axiomenmenge Σ ein Modell besitzt (also die
Modellklasse Mod(T ) von T nicht leer ist).
(semantisch) vollständig, falls für jeden L-Satz σ
Σ ! σ oder Σ ! ¬σ
gilt.
Eine L-Theorie T ist genau dann erfüllbar, wenn aus ihr kein Widerspruch folgt
(d.h., wenn es keinen L-Satz σ mit T ! σ und T ! ¬σ gibt). Eine Theorie T ist
daher genau dann erfüllbar und vollständig, wenn für jeden L-Satz σ entweder
T ! σ oder T ! ¬σ (also entweder σ ∈ C (Σ) oder ¬σ ∈ C (Σ)) gilt.
LEMMA 2. Für jede L-Struktur A ist Th(A) erfüllbar und vollständig.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
14 / 121
3.2 Elementare und ∆-elementare Strukturklassen
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
15 / 121
Definierbarkeit in PL1
Wir haben bereits die Modellklasse
Mod(T ) = {A : A ! T } = {A : A ist Modell aller Axiome von T }
einer Theorie T = (L, Σ) betrachtet, die gerade die Klasse der Modelle der
Satzmenge Σ enthält und die wir im Folgenden auch mit Mod(Σ) bezeichnen.
Entsprechend bezeichnen wir die Modellklasse eines einzelnen Satzes σ mit
Mod(σ) = {A : A ! σ}
(d.h. Mod(σ) = Mod({σ})).
Diese Modellklassen Mod(σ) und Mod(Σ) sind die Klassen von Strukturen, die
sich durch einzelne Sätze bzw. durch Mengen von Sätzen in PL1 definieren lassen.
Wir nennen solche Klassen elementare bzw. ∆-elementare Klassen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
16 / 121
Elementare und ∆-elementare Klassen
DEFINITION. Eine Klasse K von L-Strukturen ist elementar (oder elementar
definierbar), falls es einen L-Satz σ gibt mit K = Mod(σ).
K ist ∆- elementar (oder ∆-elementar definierbar), falls es eine L-Theorie T gibt
mit K = Mod(T ) (oder - anders ausgedrückt - eine Menge Σ von L-Sätzen gibt
mit K = Mod(Σ)).
(Der griechische Buchstabe Delta steht hierbei für “Durchschnitt”, da - wie wir
gleich zeigen werden - sich die ∆-elementaren Klassen gerade als die
Durchschnitte von elementaren Klassen beschreiben lassen.)
Im nächsten Abschnitt werden wir uns Beispiele von elementaren und
∆-elementaren Klassen ansehen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
17 / 121
Abschlusseigenschaften
LEMMA 1. Eine Klasse K von L-Strukturen ist genau dann ∆-elementar, wenn K
der Durchschnitt von elementaren Klassen von L-Strukturen ist.
BEWEIS. Dies folgt aus der Beobachtung, dass die Modellklasse einer Menge von
Sätzen Σ gerade der Durchschnitt der Modellklassen der Sätze in Σ ist:
!
Mod(Σ) =
Mod(σ)
σ∈Σ
FOLGERUNG AUS LEMMA 1: Die Familie der ∆-elementaren Strukturklassen ist
gegen beliebige Durchschnitte abgeschlossen: Sind die Klassen Ki (i ∈ I )
∆-elementar, so ist auch die Klasse
!
K=
Ki
i∈I
∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
18 / 121
Abschlusseigenschaften (Fortsetzung)
LEMMA 2. Die Familie der elementaren Klassen von L-Strukturen ist
abgeschlossen gegen:
(i) Vereinigung (d.h. K0 , K1 elementar ⇒ K0 ∪ K1 elementar)
(ii) Durchschnitt (d.h. K0 , K1 elementar ⇒ K0 ∩ K1 elementar)
(iii) Komplement (d.h. K elementar ⇒ K = {A L-Struktur : A %∈ K} elementar)
(In Kapitel 3.5 werden wir zeigen, dass im Gegensatz hierzu die Familie der
∆-elementaren Klassen nicht gegen Komplement abgeschlossen ist.)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
19 / 121
Abschlusseigenschaften (Fortsetzung)
BEWEIS von Teil (i) von Lemma 2:
K0 , K1 elementar
⇒ K0 = Mod(σ0 ) & K1 = Mod(σ1 ) (für σ0 , σ1 geeignet)
⇒
K0 ∪ K1 = Mod(σ0 ) ∪ Mod(σ1 ) = Mod(σ0 ∨ σ1 )
(ii) und (iii) folgen analog mit
Mod(σ0 ) ∩ Mod(σ1 ) = Mod(σ0 ∧ σ1 ) und Mod(σ) = Mod(¬σ).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
20 / 121
3.3 Beispiele elementarer Klassen
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
21 / 121
Überblick
Wir betrachten
3.3.1 Strukturen gegebener Mächtigkeit
3.3.2 Ordnungen
3.3.3 Gruppen und Körper
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
22 / 121
3.3.1 Strukturen gegebener Mächtigkeit
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
23 / 121
Anzahlformeln
Sei L eine beliebige Sprache der Prädikatenlogik erster Stufe. Mit Hilfe folgender
Anzahlformeln (n ≥ 1):
"
ϕ≥n :≡ ∃x1 . . . ∃xn ( 1≤i<j≤n xi %= xj )
ϕ≤n
ϕ=n
#
:≡ ∃x1 . . . ∃xn ∀x( 1≤i≤n x = xi )
(1)
:≡ ϕ≤n ∧ ϕ≥n
können wir folgende Aussagen über die Größe von L-Strukturen A = (A; . . . )
machen:
A ! ϕ≥n ⇔ |A| ≥ n
A ! ϕ≤n
⇔
|A| ≤ n
A ! ϕ=n
⇔
|A| = n
(2)
BEMERKUNG: Alternativ könnte man ϕ≤n :≡ ¬ϕ≥n+1 setzen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
24 / 121
Die Modelle der Anzahlformeln
Für die Klassen
Mn
:= {A : |A| = n}
(n ≥ 1)
M≥n
:= {A : |A| ≥ n}
(n ≥ 1)
M≤n
:= {A : |A| ≤ n}
(n ≥ 1)
Minf
:= {A : A unendlich}
gilt daher:
Mathematische Logik (WS 2011/12)
Mn
= Mod(ϕn )
M≤n
= Mod(ϕ≤n )
M≥n
= Mod(ϕ≥n )
Minf
= Mod({ϕ≥n : n ≥ 1})
Kap. 3: Theorien und Modelle
25 / 121
In PL1 definierbare Mächtigkeiten
Aus den vorhergehenden Beobachtungen erhalten wir unmittelbar:
LEMMA. Für jede Sprache L und für alle n ≥ 1 sind die Klassen Mn , M≤n und
M≥n elementar und die Klasse Minf ∆-elementar.
In Kapitel 3.6 werden wir diesen positiven Definierbarkeitsergebnissen die
folgenden negativen Ergebnisse gegenüberstellen:
Die Klasse Minf der unendlichen L-Strukturen ist nicht elementar. Minf
lässt sich also mit Hilfe unendlich vieler Sätze beschreiben nicht aber mit
Hilfe eines einzelnen Satzes.
Die Klasse
Mfin := {A : A endlich}
der endlichen L-Strukturen ist nicht ∆-elementar, lässt sich also in PL1
überhaupt nicht definieren.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
26 / 121
3.3.2 Ordnungen
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
27 / 121
Die Sprache L(<) der Ordnungen
Über (partielle) Ordnungen können wir in der Sprache L = L(<) sprechen, in der
< ein zweistelliges Relationszeichen ist, das wir als die (strikte) Ordnungsrelation
interpretieren.
BEMERKUNG. Alternativ könnten wir auch die Sprache L = L(≤) verwenden,
wobei wir das Relationszeichen ≤ als die nichtstrikte Ordnungsrelation
interpretieren.
Die Äquivalenz der beiden sprachlichen Ansätze ergibt sich daraus, dass man ≤ in
der Sprache L(<) und umgekehrt < in der Sprache L(≤) wie folgt definieren
kann:
t ≤ t ! :≡ t < t ! ∨ t = t !
t < t ! :≡ t ≤ t ! ∧ t %= t !
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
28 / 121
Partielle und lineare Ordnungen
Eine partielle Ordnung P = (P, <P ) erfüllt das Irreflexivitäts- und
Transitivitätsgesetz. In einer linearen (oder totalen) Ordnung gilt zusätzlich das
Konnexitäts- oder Totalitätsgesetz.
Diese Gesetze lassen sich durch L-Formeln wie folgt ausdrücken (wobei wir für <
die Infixschreibweise verwenden):
π1
π2
π3
≡ ∀x(¬x < x)
Irreflexivität
≡ ∀x∀y ∀z(x < y ∧ y < z → x < z) Transitivität
≡ ∀x∀y (x < y ∨ x = y ∨ y < x)
Totalität
Es gilt also:
TPO = {σPO } mit σPO :≡ π1 ∧ π2 ist die Theorie der partiellen Ordnungen
TLO = {σLO } mit σLO :≡ π1 ∧ π2 ∧ π3 } ist die Theorie der linearen
Ordnungen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
29 / 121
Elementarität der partiellen und totalen Ordnungen
Definieren wir
PO := {A : A ist (L(<)-Struktur und) eine partielle Ordnung}
LO := {A : A ist (L(<)-Struktur und) eine lineare Ordnung}
so gilt also
PO = Mod(TPO ) = Mod(σPO ) und
LO = Mod(TLO ) = Mod(σLO )
Die Klassen der partiellen bzw. linearen Ordnungen sind also elementar:
LEMMA. Die Klassen PO und LO der partiellen bzw. linearen Ordnungen sind
elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
30 / 121
Spezielle totale Ordnungen
Spezielle Typen von Ordnungen, die ebenfalls elementar sind, sind die dichten
bzw. diskreten linearen Ordnungen sowie die linearen Ordnungen mit (bzw. ohne)
kleinstem/größtem Element (Übung).
In Abschnitt 3.6 werden wir dagegen zeigen, dass die Klasse der Wohlordnungen
nicht ∆-elementar ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
31 / 121
3.3.3 Gruppen und Körper
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
32 / 121
Gruppen und Körper
Abschließend betrachten wir noch einige der zentralen algebraischen Strukturen
und deren Theorien, nämlich (abelsche) Gruppen und Körper.
Wir werden zeigen, dass die Klassen der Gruppen, abelschen Gruppen, und
Körper elementar sind: Die üblichen Gruppen-Axiome etc. lassen sich nämlich
durch Sätze der Prädikatenlogik erster Stufe beschreiben. Da man weiterhin in
jedem Fall mit endlich vielen Axiomen auskommt, kann man die Axiome zu einem
Satz zusammenfassen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
33 / 121
Die Sprache L(+; 0) der Gruppen
Um über Gruppen zu sprechen, verwenden wir im Folgenden die Sprache
L = L(+; 0), wobei wir das 2-stellige Funktionszeichen + als die
Verknüpfungsoperation und die Konstante 0 als deren neutrales Element
interpretieren.
Für + verwenden wir wie üblich die Infixschreibweise.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
34 / 121
Gruppenaxiome und Gruppentheorie
Die Gruppenaxiome lassen sich in der Sprache L durch folgende Sätze
beschreiben:
γ1
γ2
γ3
≡ ∀x∀y ∀z((x + y ) + z = x + (y + z)) Assoziativität
≡ ∀x(0 + x = x)
0 linksneutral
≡ ∀x∃y (y + x = 0)
Existenz von Linksinversen
Es ist also TG = {γ1 , γ2 , γ3 } die Gruppentheorie, das heißt die Modelle von TG
sind gerade die Gruppen:
Mod(TG ) = {A : A ist (L(+; 0)-Struktur und) eine Gruppe}
Da man die endlich vielen Axiome von TG zu einem Satz σG :≡ γ1 ∧ γ2 ∧ γ3
zusammenfassen kann, gilt also:
LEMMA. Die Klassen G der Gruppen ist elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
35 / 121
Abelsche Gruppen
Eine Gruppe G = (G ; +G ; 0G ) ist abelsch oder kommutativ, wenn sie das
Kommutativgesetz
γ4
≡ ∀x∀y (x + y = y + x) Kommutativität
erfüllt.
Die Klasse Ga der abelschen Gruppen ist also ebenfalls elementar, da
Ga = Mod(γ1 ∧ γ2 ∧ γ3 ∧ γ4 )
gilt.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
36 / 121
Die Sprache der Körper
Als Sprache der Körper wählen wir L = L(+, ·; 0, 1), wobei die 2-stelligen
Funktionszeichen + und · die Körperaddition bzw. -multiplikation beschreiben
und die Konstanten 0 und 1 die zugehörigen neutralen Elemente bezeichnen.
Wir benutzen wiederum die Infixschreibweise für + und ·.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
37 / 121
Körperaxiome
In einem Körper K = (K , +K , ·K , 0K , 1K ) ist
(K , +K , 0K ) eine abelsche Gruppe mit neutralem Element 0K ,
(K \ {0K }, ·K , 1K ) eine abelsche Gruppe mit neutralem Element 1K
und es gilt das Distributivgesetz a ·K (b +K c) = (a ·K b) +K (a ·K c).
Die Körperaxiome lassen sich durch folgende L-Sätze γ1 , . . . , γ4 , γ1! , . . . , γ4! , δ
beschreiben, wobei γ1 , . . . , γ4 gerade die bereits eingeführten Gruppenaxiome
sind, während γ1! , . . . , γ4! und δ die wie folgt definierten entsprechenden Axiome
für die Multiplikation bzw. das Distributivgesetz sind:
γ1!
γ2!
γ3!
γ4!
δ
≡
≡
≡
≡
≡
Mathematische Logik (WS 2011/12)
∀x∀y ∀z((x · y ) · z = x · (y · z))
∀x(x %= 0 → 1 · x = x)
∀x∃y (x %= 0 → y · x = 1)
∀x∀y (x · y = y · x)
∀x∀y ∀z(x · (y + z) = (x · y ) + (x · z))
Kap. 3: Theorien und Modelle
38 / 121
Die Klasse der Körper ist elementar
Die Körpertheorie TK besteht also gerade aus den Axiomen
γ1 , γ2 , γ3 , γ4 , γ1! , γ2! , γ3! , γ4! , δ.
In anderen Worten: eine L-Struktur A ist genau dann ein Körper, wenn A ein
Modell der Konjunktion
σK :≡ γ1 ∧ γ2 ∧ γ3 ∧ γ4 ∧ γ1! ∧ γ2! ∧ γ3! ∧ γ4! ∧ δ
dieser Axiome ist.
LEMMA. Die Klasse der Körper ist elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
39 / 121
Charakteristik von Körpern
Ein Körper K hat Charakteristik p ≥ 1, wenn
1 + ··· + 1 = 0
$ %& '
p-mal
gilt und p minimal mit dieser Eigenschaft ist.
K hat endliche Charakteristik, wenn K Charakteristik p für ein p ≥ 1 hat,
und
K hat unendliche Charakteristik oder Charakteristik 0, wenn K nicht
endliche Charakteristik hat.
BEMERKUNG. Hat ein Körper Charakteristik p ≥ 1, so ist p eine Primzahl.
Umgekehrt gibt es zu jeder Primzahl p einen Körper der Charakterisktik p. Ein
Körper der Charakteristik 0 ist z.B. der Körper R = (R; +, ·; 0, 1) der reellen
Zahlen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
40 / 121
Charakteristik von Körpern: Definierbarkeit in PL1
LEMMA.
(i) Für p ≥ 1 ist die Klasse Kp der Körper der Charakteristik p elementar.
(ii) Die Klasse K0 der Körper der Charakteristik 0 ist ∆-elementar.
BEWEIS. (i) Es gilt Kp = Mod(σK ∧ χp ) für
χp ≡ 1 + · · · + 1 = 0.
$ %& '
p-mal
(ii) Es gilt K0 = Mod(T ) für T = {σK } ∪ {¬χp : p ≥ 1}.
Wie wir in Kapitel 3.6 zeigen werden, gilt jedoch:
Die Klasse K0 der Körper der Charakteristik 0 ist nicht elementar.
Die Klasse Kfin der Körper endlicher Charakteristik ist nicht ∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
41 / 121
3.4 Isomorphie und elementare Äquivalenz
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
42 / 121
Während manche Theorien dazu dienen, viele unterschiedliche Strukturen zu
beschreiben, die gewisse Gemeinsamkeiten haben (wie z.B. die Gruppentheorie,
deren Modelle gerade die Gruppen sind), sollen manche Theorien einzelne
Strukturen beschreiben (wie z.B. die Theorie der Arithmetik zur Beschreibung der
Struktur der natürlichen Zahlen mit Addition und Multiplikation).
Dabei muss man allerdings berücksichtigen, dass man eine Struktur nur bis auf
Isomorphie beschreiben kann. D.h. ist eine Struktur A Modell einer Theorie T , so
ist auch jede zu A isomorphe Struktur Modell dieser Theorie. Um dies näher zu
erläutern, müssen wir zunächst den Isomorphiebegriff und den (schwächeren)
Begriff der elementaren Äquivalenz einführen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
43 / 121
Wir gehen weiterhin davon aus, dass die Sprache
L = L((Ri |i ∈ I ); (fj |j ∈ J); (ck |k ∈ K ))
vom Typ
σ = σ(L) = ((ni |i ∈ I ); (mj |j ∈ J); K )
gegeben ist.
Weiter seien
und
A = (A; (RiA |i ∈ I ); (fjA |j ∈ J); (ckA |k ∈ K ))
B = (B; (RiB |i ∈ I ); (fjB |j ∈ J); (ckB |k ∈ K ))
L-Strukturen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
44 / 121
Isomorphismen
DEFINITION. (a) Ein (L-)Isomorphismus f von A nach B (f : A ∼
= B) ist eine
bijektive Abbildung f : A → B, die mit den ausgezeichneten Relationen,
Funktionen und Konstanten von L wie folgt verträglich ist:
(a1 , . . . , ani ) ∈ RiA ⇔ (f (a1 ), . . . , f (ani )) ∈ RiB
(für alle (a1 , . . . , ani ) ∈ Ani und alle i ∈ I )
f (fjA (a1 , . . . , amj )) = fjB (f (a1 ), . . . , f (amj ))
(für alle (a1 , . . . , amj ) ∈ Amj und alle j ∈ J)
f (ckA ) = ckB (für alle k ∈ K ).
(b) A und B sind isomorph (A ∼
= B), falls es einen Isomorphismus f von A nach
B gibt.
BEMERKUNG. Die Isomorphierelation ∼
= ist eine Äquivalenzrelation. Es gilt
nämlich: id : A ∼
= A (Reflexivität); falls f : A ∼
= B, so f −1 : B ∼
= A (Symmetrie);
falls f : A ∼
= B und g : B ∼
= C, so g (f ) : A ∼
= C (Transitivität).
Die Äquivalenzklasse {B : B ∼
= A} nennen wir auch den Isomorphietyp der
Struktur A.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
45 / 121
Das Isomorphielemma
Die für uns wichtige Beobachtung ist nun, dass in isomorphen Strukturen
dieselben Sätze gelten:
ISOMORPHIELEMMA. Es gelte A ∼
= B. Dann gilt für jeden Satz σ
A ! σ ⇔ B ! σ.
D.h. Th(A) = Th(B).
Das Isomorphielemma folgt direkt aus dem folgenden Hilfssatz:
HILFSSATZ. Seien A und B L-Strukturen, sei f : A → B ein Isomorphismus von
A nach B, und sei B : {x0 , . . . , xn } → A eine Belegung der Variablen x0 , . . . , xn in
A. Dann gilt für jeden L-Term t ≡ t(x0 , . . . , xn ) und jede L-Formel
ϕ ≡ ϕ(x0 , . . . , xn )
(∗) f (tBA ) = tfB(B)
und
Mathematische Logik (WS 2011/12)
(∗∗) WBA (ϕ) = WfB(B) (ϕ).
Kap. 3: Theorien und Modelle
46 / 121
Beweis des Hilfssatzes
Teil (∗) des Hilfssatzes zeigt man durch Ind(t). (∗∗) folgt dann aus (∗) mit
Ind(ϕ). Wir beschränken uns hier auf den Beweis von (∗) und lassen den
ähnlichen Beweis von (∗∗) als Übung.
BEWEIS von (∗) f (tBA ) = tfB(B) durch Ind(t):
(1) t ≡ xi :
f (tBA ) = f ((xi )A
B)
= f (B(xi ))
=
(xi )B
f (B)
= tfB(B)
Mathematische Logik (WS 2011/12)
(da t ≡ xi )
(nach Definition von (xi )A
B)
(nach Definition von (xi )B
f (B) )
(da t ≡ xi )
Kap. 3: Theorien und Modelle
47 / 121
Beweis des Hilfssatzes (Fortsetzung)
BEWEIS von (∗) f (tBA ) = tfB(B) durch Ind(t) (Fortsetzung):
(2) t ≡ ck :
f (tBA )
Mathematische Logik (WS 2011/12)
= f ((ck )A
B)
(da t ≡ ck )
= f (ckA )
(nach Definition von (ck )A
B)
= ckB
(da f : A ∼
= B)
= (ck )B
f (B)
(nach Definition von (ck )B
f (B) )
= tfB(B)
(da t ≡ ck )
Kap. 3: Theorien und Modelle
48 / 121
Beweis des Hilfssatzes (Fortsetzung und Ende)
BEWEIS von (∗) f (tBA ) = tfB(B) durch Ind(t) (Fortsetzung und Ende):
(3) t ≡ fj (t1 , . . . , tnj ):
f (tBA )
= f (fj (t1 , . . . , tmj )A
B)
(da t ≡ fj (t1 , . . . , tmj ))
A
= f (fjA ((t1 )A
B , . . . , (tmj )B ))
(nach Definition von fj (t1 , . . . , tmj )A
B)
A
= fjB (f ((t1 )A
B ), . . . , f ((tmj )B ))
(da f : A ∼
= B)
B
= fjB ((t1 )B
,
.
.
.
,
(t
)
)
m
j f (B)
f (B)
(nach I.V.)
= fj (t1 , . . . , tmj )B
f (B)
(nach Definition von fj (t1 , . . . , tmj )B
f (B) )
= tfB(B)
(da t ≡ fj (t1 , . . . , tmj ))
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
49 / 121
Elementare Äquivalenz
Isomorphe L-Strukturen lassen sich also durch L-Sätze nicht unterscheiden.
Strukturen mit dieser Eigenschaft nennt man elementar äquivalent.
DEFINITION. Die L-Strukturen A und B sind elementar äquivalent (A ≡ B),
falls Th(A) = Th(B), d.h. falls für jeden L-Satz σ
A!σ ⇔ B!σ
gilt.
Offensichtlich ist die elementare Äquivalenz eine Äquivalenzrelation.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
50 / 121
Elementare Äquivalenz: alternative Charakterisierungen
Die elementare Äquivalenz lässt sich alternativ wie folgt charakterisieren:
LEMMA 1. Für L-Strukturen A und B sind folgende Aussagen äquivalent:
(i) A ≡ B
(ii) B ! Th(A)
BEWEIS: (i) ⇒ (ii): Gilt A ≡ B, so gilt (nach Definition von ≡) Th(A) = Th(B).
Da (nach Definition von Th(B)) B ! Th(B) gilt, folgt B ! Th(A).
(ii) ⇒ (i): Es gelte B ! Th(A). Nach Definition von Th(B) gilt dann
Th(A) ⊆ Th(B). Da Th(A) vollständig und Th(B) erfüllbar ist, impliziert dies
aber Th(A) = Th(B) also (nach Definition von ≡) A ≡ B.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
51 / 121
Isomorphielemma: Neuformulierung und Folgerungen
Mit Hilfe des Begriffs der elementaren Äquivalenz lässt sich das Isomorphielemma
auch wie folgt formulieren:
ISOMORPHIELEMMA (Neuformulierung). A ∼
= B ⇒ A ≡ B.
Da nach Definition elementare und ∆-elementare Klassen unter elementarer
Äquivalenz abgeschlossen sind, können nach dem Isomorphielemma nur unter
Isomorphie abgeschlossene Klassen elementar oder ∆-elementar sein. (Nicht jede
unter Isomorphie abgeschlossene Strukturklasse ist aber ∆-elementar! Ein Gegenbeispiel ist der Isomorphietyp der Struktur N der natürlichen Zahlen, wie wir in
Kapitel 3.6 zeigen werden.)
LEMMA 2. Sei die Klasse K von L-Strukturen (∆-)elementar. Dann ist K gegen
elementare Äquivalenz und (daher) gegen Isomorphie abgeschlossen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
52 / 121
Definierbarkeit einzelner Strukturen in PL1
Die mathematischen Strukturen A, die sich in der Prädikatenlogik erster Stufe bis
auf Isomorphie beschreiben lassen (d.h. deren Isomorphietypen ∆-elementar sind),
lassen sich wie folgt charakterisieren.
LEMMA 3. Für eine L-Struktur A sind folgende Aussagen äquivalent:
(i) {B : A ∼
= B} ist ∆-elementar.
(ii) Jede zu A elementar äquivalente Struktur B ist zu A isomorph.
D.h.: Für alle L-Strukturen B gilt: A ≡ B ⇒ A ∼
= B.
(iii) Für alle L-Strukturen B gilt: A ∼
= B ⇔ A ≡ B.
(iv) Für alle L-Strukturen B gilt: A ∼
= B ⇔ B ! Th(A).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
53 / 121
Definierbarkeit einzelner Strukturen in PL1
BEWEIS VON LEMMA 3:
(i) ⇒ (ii): Sei {B : A ∼
= B} ∆-elementar, d.h. {B : A ∼
= B} = Mod(T ) für
geeignetes T . Ist dann B ! eine zu A elementar äquivalente Struktur, so
gelten in B ! dieselben Sätze wie in A, weshalb B ! - wie A - ein Modell von
T ist, d.h. in Mod(T ) liegt. Mit {B : A ∼
= B} = Mod(T ) folgt, dass B !
isomorph zu A ist.
(ii) ⇒ (iii): Nach Annahme gilt A ≡ B ⇒ A ∼
= B. Da die Umkehrung
A∼
= B ⇒ A ≡ B nach der Neuformulierung des Isomorphielemmas gilt,
folgt hieraus A ∼
= B ⇔ A ≡ B.
(iii) ⇒ (iv ): Diese Implikation folgt unmittelbar aus Lemma 1.
(iv ) ⇒ (i): Nach Annahme (iv ) ist {B : A ∼
= B} die Modellklasse von
Th(A) und daher ∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
54 / 121
3.5 Der Kompaktheitssatz für PL1
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
55 / 121
Der Kompaktheitssatz
Negative Definierbarkeitsergebnisse für die Prädikatenlogik 1. Stufe zeigt man
häufig mit Hilfe des Kompaktheitssatzes. Ähnlich wie in der Aussagenlogik lässt
sich der Kompaktheitssatz für den Folgerungsbegriff und die Erfüllbarkeit
formulieren.
KOMPAKTHEITSSATZ FÜR PL1.
(a) (Kompaktheitssatz für den Folgerungsbegriff) Ist T eine L-Theorie und σ
ein L-Satz, der aus T folgt (d.h. T ! σ), dann gibt es eine endliche
Teiltheorie T0 ⊆ T von T , aus der σ bereits folgt (d.h. T0 ! σ).
(b) (Kompaktheitssatz für den Erfüllbarkeitsbegriff) Hat jede endliche
Teiltheorie T0 ⊆ T der Theorie T ein Modell, so besitzt auch T ein Modell.
Wie in der Aussagenlogik werden wir den Kompaktheitssatz dadurch beweisen,
dass wir einen adäquaten Kalkül der Prädikatenlogik angeben (→ Kapitel 4).
Herleitbarkeit und Konsistenz in diesem Kalkül fallen dann mit dem Folgerungsbzw. Erfüllbarkeitsbegriff zusammen. Da Herleitbarkeit und Konsistenz finitäre
Konzepte sind, gelten für diese aber die entsprechenden Aussagen des Kompaktheitssatzes trivialerweise.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
56 / 121
Eine erste Anwendung des Kompaktheitssatzes
Als erstes Anwendungsbeispiel des Kompaktheitssatzes beweisen wir folgende
Charakterisierung der elementaren Klassen.
SATZ 1. Eine Klasse K von L-Strukturen ist genau dann elementar, wenn die
Klasse K und deren Komplement K ∆-elementar sind.
Die Richtung “⇒” ist trivial: Ist K elementar, so ist nach dem Lemma über die
Abschlusseigenschaften der elementaren Klassen auch K elementar. Also sind K
und K insbesondere ∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
57 / 121
Beweis der Richtung “⇐” von Satz 1
Zum Beweis der nichttrivialen Richtung “⇐” seien K und K ∆-elementar und
seien T und T ! L-Theorien mit
(∗) K = Mod(T ) und K = Mod(T ! ).
Wir müssen einen Satz σ mit
(∗∗) K = Mod(σ) = {A : A L-Struktur & A ! σ}
angeben.
Ist K leer, d.h. K die Menge aller L-Strukturen, so können wir σ als irgendeinen
allgemeingültigen Satz wählen. Im Folgenden können wir daher o.B.d.A.
annehmen, dass K nicht leer ist und daher T ! erfüllbar ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
58 / 121
Beweis der Richtung “⇐” von Satz 1 (Forts. und Ende)
Annahme: (∗) K = Mod(T ) und K = Mod(T ! ) %= ∅.
Gesucht: Ein Satz σ mit (∗∗) K = Mod(σ) = {A : A L-Struktur & A ! σ}.
Da K und K disjunkt sind, folgt aus (∗), dass T ∪ T ! nicht erfüllbar ist. Nach
dem Kompaktheitssatz gibt es daher eine endliche unerfüllbare Teiltheorie
T0 ⊆ T ∪ T ! . Wegen der Erfüllbarkeit von T ! ist T0 ∩ T nicht leer. Es gibt also
Sätze σ1 , . . . , σn (n ≥ 1) mit T0 ∩ T = {σ1 , . . . , σn }. Wir behaupten, dass für
σ :≡ σ1 ∧ · · · ∧ σn (∗∗) gilt:
K ⊆ Mod(σ): Liegt A in K, so ist A (nach (∗)) ein Modell von T . Wegen
{σ1 , . . . , σn } ⊆ T , ist A also insbesondere Modell von {σ1 , . . . , σn } und damit
Modell von σ, d.h. A ∈ Mod(σ).
Mod(σ) ⊆ K: Gilt umgekehrt A ∈ Mod(σ), d.h. A ! σ, so gilt auch
A ! {σ1 , . . . , σn }. Folglich ist A kein Modell von T ! (da andernfalls - wegen
T0 ⊆ {σ1 , . . . , σn } ∪ T ! - A ! T0 im Widerspruch zur Unerfüllbarkeit von T0 ).
Nach (∗) heißt das, dass A nicht in K liegt, also A ∈ K.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
59 / 121
3.6 Grenzen der Prädikatenlogik erster Stufe:
Nicht-∆-elementare Klassen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
60 / 121
Übersicht
3.6.1 Strukturen gegebener Mächtigkeit
3.6.2 Ordnungen und Wohlordnungen
3.6.3 Körper und deren Charakteristik
3.6.4 Arithmetik
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
61 / 121
3.6.1 Strukturen gegebener Mächtigkeit
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
62 / 121
Strukturen gegebener Mächtigkeit
Positive Ergebnisse (bereits gezeigt): Die Klassen
Mn
M≤n
M≥n
= {A : |A| = n}
= {A : |A| ≤ n}
= {A : |A| ≥ n}
(n ≥ 1)
(n ≥ 1)
(n ≥ 1)
sind elementar, während die Klasse
Minf
:= {A : A unendlich}
∆-elementar ist.
Negative Ergebnisse: Im Gegensatz hierzu zeigen wir nun, dass die Klasse der
endlichen Strukturen
Mfin
:= {A : A endlich}
nicht ∆-elementar ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
63 / 121
Satz über die Existenz unendlicher Modelle
Um zu zeigen, dass Mfin nicht ∆-elementar ist, beobachten wir zunächst (mit
Hilfe des Kompaktheitsatzes), dass jede Theorie, die beliebig große endliche
Modelle hat, auch ein unendliches Modell besitzt.
SATZ (Satz über die Existenz unendlicher Modelle) Sei T = (Σ, L) eine
L-Theorie, die für jedes n ≥ 1 ein Modell mit mindestens n Elementen besitzt.
Dann besitzt T ein unendliches Modell.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
64 / 121
Satz über die Existenz unendlicher Modelle: Beweis
Sei Tinf = {ϕ≥n : n ≥ 1}, wobei ϕ≥n die in Abschnitt 3.3 eingeführten
Anzahlformeln seien. Dann sind (wie bereits in Abschnitt 3.3 beobachtet)
die Modelle von Tinf gerade die unendlichen L-Strukturen.
Es genügt daher zu zeigen, dass die Theorie
T ! = T ∪ Tinf
ein Modell besitzt.
Nach dem Kompaktheitssatz genügt es hierzu wiederum, für jede gegebene
endliche Teiltheorie T0 von T ! ein Modell zu finden.
Wegen der Endlichkeit von T0 gibt es aber eine Zahl n0 mit
T0 ⊆ T ∪ {ϕ≥n : n ≤ n0 }.
Jedes Modell A von T , das mindestens n0 Individuen besitzt, ist daher ein
Modell von T0 und nach Satzannahme gibt es solch ein Modell A.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
65 / 121
Satz über die Existenz unendlicher Modelle: Folgerungen
KOROLLAR. (a) Die Klasse Mfin ist nicht ∆-elementar.
(b) Die Klasse Minf ist nicht elementar.
BEWEIS. Der Beweis von (a) ist indirekt: Wir gehen von der Widerspruchsannahme aus, dass Mfin ∆-elementar ist, und halten eine Theorie T fest mit
Mfin = Mod(T ). Da es beliebig große endliche Strukturen (jeden Typs) gibt,
besitzt dann T beliebig große endliche Modelle, also nach dem Satz über die
Existenz unendlicher Modelle auch ein unendliches Modell. Das widerspricht aber
unserer Annahme, dass die Klasse Mfin der endlichen L-Strukturen die
Modellklasse von T ist.
Der Beweis von (b) ist ebenfalls indirekt: Wäre Minf elementar, so wäre nach
dem Lemma über die Abschlusseigenschaften der Familie der elementaren Klassen
auch die komplementäre Klasse Minf = Mfin elementar und damit insbesondere
∆-elementar. Das widerspricht aber Behauptung (a).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
66 / 121
Zusammenfassung
ZUSAMMENFASSUNG: Die Anzahlklassen Mn sind elementar, die Anzahlklasse
Minf ist ∆-elementar aber nicht elementar und die Anzahlklasse Mfin ist nicht
∆-elementar (also auch nicht elementar).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
67 / 121
3.6.2 Ordnungen und Wohlordnungen
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
68 / 121
Ordnungen und Wohlordnungen
Positive Ergebnisse (bereits gezeigt): Die Klassen PO und LO der partiellen bzw.
linearen Ordnungen sind elementar.
Negative Ergebnisse: Im Folgenden zeigen wir, dass die Klasse der
Wohlordnungen nicht ∆-elementar ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
69 / 121
Wohlordnungen
DEFINITION Eine lineare Ordnung O = (A; <) ist ein Wohlordnung, wenn diese
keine unendliche absteigende Kette besitzt, d.h. wenn es keine Individuen an ∈ A
(n ≥ 0) gibt mit
· · · < a3 < a2 < a1 < a0 .
BEISPIELE. Die Ordnung der natürlichen Zahlen ist eine Wohlordnung, wogegen
die Ordnungen der ganzen Zahlen, rationalen Zahlen sowie reellen Zahlen keine
Wohlordnungen sind.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
70 / 121
Satz über die Nicht-∆-Elementarität der Wohlordnungen
SATZ. Die Klasse WO der Wohlordnungen ist nicht ∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
71 / 121
Nicht-∆-Elementarität von WO: Beweis
Wir führen den Beweis indirekt mit Hilfe des Kompaktheitssatzes:
Wir gehen von der Widerspruchsannahme aus, dass die Klasse WO
∆-elementar ist und halten eine Theorie T = (Σ, L) fest, deren Modellklasse WO ist (wobei L = L(<) die Sprache der Ordnungen ist).
Wir erweitern dann die Sprache L = L(<) zu einer Sprache L! durch
Hinzunahme unendlich vieler Konstanten cn (n ≥ 0) und definieren die
L! -Theorie T ! durch
T ! = {σLO } ∪{ cn+1 < cn : n ≥ 0}
wobei σLO :≡ π1 ∧ π2 ∧ π3 der L-Satz ist, dessen Modelle gerade die linearen
Ordnungen sind.
Die Modelle A = (A; <A ; (cnA |n ≥ 0)) von T ! sind dann gerade die totalen
Ordnungen (A; <A ) zusammen mit ausgezeichneten Individuen cnA , die (für
wachsendes n) eine absteigende <A -Kette bilden (also bezeugen, dass
(A; <A ) keine Wohlordnung ist). Insbesondere ist also für ein Modell A von
T ! die Einschränkung A " L = (A; <A ) eine lineare Ordnung aber keine
Wohlordnung.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
72 / 121
Nicht-∆-Elementarität von WO: Beweis (Fortsetzung)
Nach Wahl von T = (Σ, L) ist dagegen für jedes L! -Modell
A = (A; <A ; (cnA |n ≥ 0)) von T !! = (Σ, L! ) die Einschränkung
A " L = (A; <A ) eine Wohlordnung.
Die Theorie
T !!! = T !! ∪ T ! = Σ ∪ {σLO } ∪{ cn+1 < cn : n ≥ 0}
ist daher nicht erfüllbar.
Im Folgenden widerlegen wir dies, und erhalten so den gewünschten
Widerspruch!
Wegen des Kompaktheitssatzes genügt es zu jeder gegebenen endlichen
Teiltheorie T0 von T !!! ein Modell anzugeben. Da T0 endlich ist, gibt es aber
eine Zahl n0 mit
T0 ⊆ Σ ∪ {σLO } ∪{ cn+1 < cn : n < n0 },
weshalb es genügt ein Modell A von Σ ∪ {σLO } ∪{ cn+1 < cn : n < n0 } zu
finden.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
73 / 121
Nicht-∆-Elementarität von WO: Beweis (Ende)
Solch ein Modell liefert aber jede Wohlordnung, die eine absteigende Kette
der Länge n0 besitzt. Da die Wohlordnung der natürlichen Zahlen solch eine
absteigende Kette (nämlich n0 > n0 − 1 > n0 − 2 > · · · > 0) besitzt, können
wir das gewünschte Modell A z.B. wie folgt festlegen:
A = (N; <; (mn |n ≥ 0)),
wobei < die übliche Ordnung auf N ist und mn durch
(
(n0 + 1) − n falls n < n0
mn =
n0
sonst
definiert ist.
(Dies beendet den Beweis.)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
74 / 121
Zusammenfassung
ZUSAMMENFASSUNG: Die Klassen PO und LO der partiellen bzw. linearen
Ordnungen sind elementar, während die Klasse WO der Wohlordnungen nicht
∆-elementar (also auch nicht elementar) ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
75 / 121
3.6.3 Körper und deren Charakteristik
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
76 / 121
Körper und deren Charakteristik
Positive Ergebnisse (bereits gezeigt):
Die Klassen G und K der Gruppen (und ebenso der abelschen Gruppen)
bzw. Körper sind elementar.
Weiter gilt für die Charakteristik von Körpern:
!
!
Für p ≥ 1 ist die Klasse Kp der Körper der Charakteristik p elementar.
Die Klasse K0 der Körper der Charakteristik 0 ist ∆-elementar.
Negative Ergebnisse: Im Folgenden zeigen wir:
Die Klasse K0 der Körper der Charakteristik 0 ist nicht elementar.
Die Klasse Kfin der Körper endlicher Charakteristik ist nicht ∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
77 / 121
Charakteristik: Negative Definierbarkeitsergebnisse
SATZ.
(i) Die Klasse K0 der Körper der Charakteristik 0 ist nicht elementar.
(ii) Die Klasse Kfin der Körper endlicher Charakteristik ist nicht ∆-elementar.
Wie beim Beweis der früheren Nicht-Definierbarkeitsergebnisse führen wir den
Beweis durch Widerspruch und wenden den Kompaktheitssatz an.
Wir beweisen zunächst (ii) und leiten dann (i) aus (ii) ab.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
78 / 121
Beweis von Teil (ii) des Satzes
Widerspruchsannahme: Kfin sei ∆-elementar und T sei eine Theorie, deren
Modellklasse Kfin sei.
Erweitere T zu der Theorie T ! = T ∪ T0 , wobei T0 = {σK } ∪ {¬χp : p ≥ 0}
die (unendliche) Theorie der Körper der Charakteristik 0 ist.
Dann besitzt T ! kein Modell (da die Modelle von T0 gerade die Körper der
Charakteristik 0 sind, während nach Annahme die Modelle von T die Körper
endlicher Charakteristik sind).
Betrachten wir aber eine beliebige endliche Teiltheorie T !! von T ! , dann gibt
es ein n0 ≥ 1, sodass
T !! ⊆ T ∪ {σK } ∪ {¬χp : p ≤ n0 }
gilt, weshalb jeder Körper einer Charakteristik p > n0 ein Modell von T !! ist.
Da es zu jeder Primzahl p einen Körper der Charakteristik p gibt, besitzt
also T !! ein Modell.
Mit dem Kompaktheitssatz folgt hieraus aber, dass auch T ! ein Modell
besitzt, was den gewünschten Widerspruch ergibt.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
79 / 121
Beweis von Teil (i) des Satzes
Behauptung (i) folgt aus Behauptung (ii) durch einen Widerspruchsbeweis wie
folgt:
Widerspruchsannahme: K0 elementar.
Da das Komplement einer elementaren Klasse ebenfalls elementar ist, folgt
dass K0 elementar ist.
NB: Die Klasse K0 enthält die Körper, deren Charakteristik nicht 0 ist, d.h.
die endliche Charakteristik haben, zusammen mit den L-Strukturen, die
keine Körper sind.
Folglich ist Kfin der Durchschnitt der elementaren Klasse K0 mit der
elementaren Klasse der Körper.
Da der Durchschnitt zweier elementarer Klassen wiederum elementar ist, gilt
also: Kfin ist elementar.
Dies widerspricht aber dem bereits bewiesenen Teil (ii) des Satzes!
(Ende des Beweises)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
80 / 121
Zusammenfassung
ZUSAMMENFASSUNG: Die Klassen G und K der Gruppen und Körper sind
elementar. Für die Klassen der Körper der unterschiedlichen Charakteristiken gilt:
Die Klasse Kp der Körper der Charakteristik p für eine gegebene Primzahl p sind
elementar, die Klasse Kp der Körper der Charakteristik 0 ist ∆-elementar aber
nicht elementar, und die Klasse Kfin der Körper endlicher Charakteristik ist nicht
∆-elementar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
81 / 121
3.6.4 Arithmetik
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
82 / 121
Arithmetik: die Theorie der natürlichen Zahlen
Als letztes Beispiel betrachten wir die Theorie der natürlichen Zahlen. Als
Grundrelation wählen wir die Ordnung ≤ auf N, als Grundfunktionen die Addition
(+) und die Multiplikation (·), als Konstanten die Null (0) und die Eins (1). (Für
die folgenden Untersuchungen spielt die Wahl der Grundrelationen,
Grundfunktionen und Konstanten keine wesentliche Rolle, solange wir die
arithmetischen Operationen definieren können.)
Wir betrachten also die Struktur
N = (N; ≤; +, ·; 0, 1).
Können wir N durch Sätze der gewählten Sprache L = L(≤; +, ·; 0, 1) bis auf
Isomorphie eindeutig beschreiben, d.h. ist der Isomorphietyp {A : A ∼
= N } von N
∆-elementar?
Die Antwort ist negativ: Es gibt ein Modell N ∗ der Theorie Th(N ) der
Arithmetik, das nicht zu N isomorph ist. (D.h. N ∗ ist elementar äquivalent zu N
aber nicht isomorph zu N .)
Solch ein Modell N ∗ bezeichnet man als Nichtstandardmodell der
Arithmetik,während man N als das Standardmodell von Th(N ) bezeichnet.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
83 / 121
Ein Nichtstandardmodell der Arithmetik
SATZ VON SKOLEM. Es gibt eine L(≤; +, ·; 0, 1)-Struktur N ∗ , die zu der
Struktur N = (N; ≤; +, ·; 0, 1) der natürlichen Zahlen elementar äquivalent ist,
also N ∗ ! Th(N ) erfüllt, aber nicht zu N isomorph ist.
Der Beweis ähnelt dem Beweis, dass die Klasse der Wohlordnungen nicht
∆-elementar ist. (Dies ist nicht verwunderlich, da ja (N, ≤) eine Wohlordnung ist,
und wir sehen werden, dass ein Nichtstandardmodell N ∗ von Th(N ) nicht
wohlgeordnet sein kann.)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
84 / 121
Beweis des Satzes von Skolem: Idee
Wir erweitern die Sprache L = L(≤; +, ·; 0, 1) zu der Sprache
L! = L(≤; +, ·; 0, 1, c)
durch Hinzunahme einer weiteren Konstante c und geben eine L! -Struktur
A = (A; ≤A ; +A , ·A ; 0A , 1A , c A )
an, die Modell der Theorie von N ist und bei der die Konstante c A unendlich
groß ist, d.h. unendlich viele Vorgänger bzgl. der linearen Ordnung ≤A besitzt.
Die Einschränkung von A auf die Sprache L (bei der das Element c A nun nicht
mehr als Konstante hervorgehoben wird, deren mathematische Struktur aber
sonst unverändert ist) ist dann das gesuchte Nichtstandardmodell N ∗ : Es erfüllt
alle Axiome aus Th(N ), besitzt aber eine unendlich große Nichtstandardzahl,
nämlich c A , weshalb N ∗ nicht isomorph zu N ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
85 / 121
Beweis des Satzes von Skolem: Details (1)
Sei T ! die L! -Theorie T ! = {n ≤ c : n ≥ 0}, wobei die Terme n die induktiv
durch
0 :≡ 0 und n + 1 :≡ n + 1
definierten Ziffern sind (also gerade die Standardzahlen beschreiben).
Definiere dann die L! -Theorie T !! durch T !! = Th(N ) ∪ T ! .
Ein Modell A von T !! hat dann die gewünschten Eigenschaften:
!
!
Wegen Th(N ) ⊆ T !! ist A ein Modell von Th(N ).
Aus dem gleichen Grund ist ≤A eine lineare Ordnung, in der gilt:
0A <A 1A <A 2A <A 3A <A . . .
!
Da A aber auch Modell von T ! ist, gilt nA ≤A c A für alle n ≥ 0,
weshalb c A unendlich viele Vorgänger bzgl. der linearen Ordnung ≤A
hat. c A ist daher unendlich groß, also eine Nichtstandardzahl von A.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
86 / 121
Beweis des Satzes von Skolem: Details (2)
Es bleibt zu zeigen, dass die Theorie
T !! = Th(N ) ∪ T ! = Th(N ) ∪ {n ≤ c : n ≥ 0}
ein Modell besitzt.
Hier kommt der Kompaktheitssatz ins Spiel!
Nach dem Kompaktheitssatz genügt es nämlich zu jeder endlichen
Teiltheorie T0 von T !! ein Modell anzugeben.
Aus der Endlichkeit von T0 folgt aber, dass es eine Zahl n0 gibt mit
T0 ⊆ Th(N ) ∪ {n ≤ c : n ≤ n0 }.
Ein Modell von T0 ist aber gerade das Standardmodell N , wenn wir dieses
um die Interpretation n0 + 1 der Konstanten c erweitern, d.h. die L! -Struktur
N ! = (N; ≤; +, ·; 0, 1, n0 + 1).
Damit ist der Satz von Skolem bewiesen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
87 / 121
Anmerkungen zum Satz von Skolem
Wir haben die Existenz von Nichtstandardmodellen der Arithmetik mit Hilfe des
Kompaktheitssatzes nachgewiesen, wozu wir solch ein Modell nicht explizit
angeben mussten. Wir werden später zeigen, dass man mit dem obigem
Argument auch ein abzählbares Nichtstandardmodell von Th(N ) erhält.
Andererseits kann man zeigen, dass Th(N ) auch überabzählbare Modelle besitzt
(die natürlich ebenfalls nicht isomorph zu N sein können, da Isomorphismen
bijektiv sind, also die Kardinalität erhalten).
Diese Beobachtungen lassen sich wie folgt verallgemeinern:
SATZ VON LÖWENHEIM-SKOLEM AUFWÄRTS (SPEZIALFALL).
Besitzt eine L-Theorie T ein unendliches Modell, so besitzt T auch ein
überabzählbares Modell.
Man beachte, dass dieser Satz den Satz von Skolem impliziert, da jede zu einer
abzählbaren Struktur (wie N ) isomorphe Struktur natürlich wieder abzählbar ist.
Zum Beweis des Satzes erweitert man die Sprache L um Konstanten (cr |r ∈ R)
und die Theorie T um die Sätze cr %= cr ! für r %= r ! und wendet dann den
Kompaktheitssatz an (s. Übungen für Details).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
88 / 121
Anmerkungen zum Satz von Skolem (Fortsetzung)
Umgekehrt besitzt jede erfüllbare L-Theorie ein höchstens abzählbares Modell,
falls die Sprache L abzählbar ist, d.h. höchstens abzählbar unendlich viele
nichtlogische Zeichen besitzt.
SATZ VON LÖWENHEIM-SKOLEM ABWÄRTS (SPEZIALFALL).
Sei L abzählbar. Dann besitzt jede L-Theorie T , die ein unendliches Modell
besitzt, auch ein abzählbar unendliches Modell.
Der Satz wird sich aus dem Beweis des Vollständigkeitssatzes ergeben.
Eine Folgerung aus dem Satz von Löwenheim-Skolem abwärts ist, dass sich der
Körper (R; +, ·; 0, 1) der reellen Zahlen nicht in der Sprache L(+, ·; 0, 1) der
Körper (und - allgemeiner - in keiner abzählbaren Spracherweiterung hiervon) bis
auf Isomorphie in PL1 beschreiben lässt. D.h. die L(+, ·; 0, 1)-Theorie
Th(R; +, ·; 0, 1) der Analysis besitzt Nichtstandardmodelle (→ Nonstandard
Analysis).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
89 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (1)
Im Folgenden betrachten wir noch Eigenschaften der Nichtstandardmodelle der
Arithmetik (deren Existenz ja aus dem Satz von Skolem folgt). Genauer gesagt,
betrachten wir Eigenschaften des Ordnungstyps der diesen Modellen
zugrundegelegten Ordnung. Insbesondere zeigen wir, dass diese Ordnungen keine
Wohlordnungen sind.
Sei im Folgenden A = (A; ≤A ; +A , ·A ; 0A , 1A ) ein Nichtstandardmodell der
Arithmetik, d.h. ein nicht zu N = (N; ≤; +, ·; 0, 1) isomorphes Modell von
Th(N ).
Wir interessieren uns für die Eigenschaften der Ordnung A! = (A; ≤A ), die A
zugrundeliegt. Hierzu betrachten wir zunächst Ordnungstypen ganz allgemein.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
90 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (2)
ORDNUNGSTYPEN Unter einem Ordnungstyp verstehen wir den Isomorphietyp
einer linearen Ordnung (L; ≤) (d.h. die Klasse der zu (L; ≤) isomorphen linearen
Ordnungen).
BEISPIELE.
ω : Der Ordnungstyp der Ordnung (N; ≤) der natürlichen Zahlen. ω enthält
gerade die abzählbaren diskreten Ordnungen mit kleinstem aber ohne
größtem Element.
ω ∗ : Der Ordnungstyp der Ordnung (Z− ; ≤) der negativen ganzen Zahlen.
ω ∗ enthält gerade die abzählbaren diskreten Ordnungen mit größtem aber
ohne kleinstem Element.
δ : Der Ordnungstyp der Ordnung (Q; ≤) der rationalen Zahlen. δ enthält
gerade die abzählbaren dichten Ordnungen ohne kleinstem und größtem
Element.
n : Der Ordnungstyp der Ordnung ({1, . . . , n}; ≤). n enthält gerade die
linearen Ordnungen mit n Elementen (Punkten).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
91 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (3)
OPERATIONEN AUF ORDNUNGEN und ORDNUNGSTYPEN Auf den linearen
Ordnungen (und entsprechend auf den Ordnungstypen) definiert man
Operationen + und · wie folgt:
+: Sind Oi = (Oi ; ≤i ) lineare Ordnungen (i = 1, 2) mit O1 ∩ O2 = ∅, so ist
O1 + O2 die lineare Ordnung O = (O1 ∪ O2 ; ≤) wobei
x ≤ y :⇔ ∃ i (x, y ∈ Oi & x ≤i y ) oder (x ∈ O1 & y ∈ O2 )
Entsprechend ist der Ordnungstyp α + β definiert.
“Verkette eine lineare Ordnung vom Typ α mit einer linearen Ordnung vom
Typ β.”
Beispiele:
!
!
!
ω ∗ + ω ist der Ordnungstyp der ganzen Zahlen.
n + ω = ω aber ω + n %= ω für n ≥ 1.
δ + δ = δ.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
92 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (4)
·: Sind Oi = (Oi ; ≤i ) lineare Ordnungen (i = 1, 2), so entsteht die lineare
Ordnung O1 · O2 = (O2 × O1 ; ≤) durch Ersetzen jeden Punktes von O2
durch ein Intervall vom Ordnungstyp von O1 :
(x, y ) < (x ! , y ! ) :⇔ x <2 x ! oder x = x ! & y <1 y !
Entsprechend ist α · β definiert.
Ersetze jeden Punkt in der Ordnung vom Typ β durch eine Ordnung vom
Typ α oder verkette α β-mal mit sich selbst:
α · β = α + ··· + α
$
%&
'
β-mal
Beispiele:
!
!
!
1 · ω = ω = ω · 1 ist der Ordnungstyp der natürlichen Zahlen.
n · ω = ω %= ω · n für n ≥ 2.
δ · δ = δ.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
93 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (5)
Wir untersuchen nun Eigenschaften der Ordnungstypen der Nichtstandardmodelle
der Arithmetik. Hierbei sei α der Ordnungstyp des Nichtstandardmodells
A = (A; ≤A ; +A , ·A ; 0A , 1A ).
Vorbereitend bemerken wir, dass ≤A eine lineare Ordnung ist, und die Funktionen
+A und ·A kommutativ sind. Weiter ist +A streng monoton in beiden
Argumenten (bzgl. der linearen Ordnung ≤A ).
Diese Tatsachen ergeben sich daraus, dass diese Eigenschaften durch Sätze von
Th(N ) beschrieben werden und A Modell von Th(N ) ist. (Im Folgenden
gemachte weitere Feststellungen über die Struktur A, die nicht weiter begründet
werden, lassen sich ebenso rechtfertigen! Übung!)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
94 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (6)
1 Der Standardteil von A:
Im Folgenden nennen wir die Individuen von A (A-)Zahlen. Dabei sind die
Interpretationen nA der Ziffern die Standardzahlen (wobei wir im Folgenden
kurz ns := nA schreiben) und die übrigen Individuen von A die Nichtstandardzahlen von A.
Entsprechend ist
As = (As ; ≤s ; +s , ·s ; 0s , 1s )
der Standardteil von A, wobei As = {ns : n ≥ 0} die Menge der Standardzahlen ist und ≤s , +s , ·s die Einschränkungen von ≤A ; +A , ·A auf As .
Mit Ans bezeichnen wir die Menge der Nichtstandardzahlen und mit
(Ans , ≤ns ) die Einschränkung von (A, ≤A ) auf Ans .
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
95 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (7)
1 (Fortsetzung)
SATZ 1. Der Standdardteil As von A ist isomorph zum Standardmodell N .
Weiter ist (As ; ≤s ) ein Anfangsstück der linearen Ordnung (A; ≤A ) von A.
BEWEISIDEE. Man zeigt, dass f : N ∼
= As gilt, wobei f (n) := ns sei.
Zum Beweis der Isomorphieeigenschaft muss man zeigen:
n < m ⇔ ns <s ms
(n + m)s = ns +s ms & (n · m)s = ns ·s ms
Dies zeigt man induktiv unter Verwendung der Tatsache, dass A Modell von
Th(N ) ist.
Dass (As ; ≤s ) ein Anfangsstück von (A, ≤A ) ist, ergibt sich aus der
Gültigkeit der folgenden Sätze aus Th(N ) in A:
τn :≡ ∀ x (x %= 0 ∧ · · · ∧ x %= n → n < x)
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
96 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (8)
1 (Fortsetzung)
Aus Satz 1 ergibt sich, dass
(A, ≤A ) = (As , ≤s ) + (Ans , ≤ns )
und entsprechend für den Ordnungstyp α
α=ω+β
gilt, wobei β der Ordnungstyp des Nichtstandardteils der Ordnung von A ist.
Zur weiteren Beschreibung von α genügt es also den Ordnungstyp β von
(Ans , ≤ns ) zu analysieren.
Da A nicht isomorph zu N ist, folgt aus Satz 1, dass es Nichtstandardzahlen
gibt, der Ordnungstyp β also nicht der triviale Typ ∅ der leeren Ordnung ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
97 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (9)
2 Was können wir weiter über β sagen, außer dass β %= ∅ gilt?
Kann β = 1 oder β = n sein?
Die Antwort ist NEIN! Zu jeder Nichtstandardzahl a gibt es wegen der
Gültigkeit des Satzes
∀ x (x < x + 1 ∧ ∀ y (x ≤ y ∧ y ≤ x + 1 → y = x ∨ y = x + 1))
in A einen Nachfolger, der nach Satz 1 wiederum eine Nichtstandardzahl ist.
Mit Iteration dieser Beobachtung folgt, dass jede Nichtstandardzahl a in
einem Intervall vom Ordnungstyp ω liegt.
Durch entsprechende Beobachtung hat jede Nichtstandardzahl a Vorgänger
. . . a−2 <ns a−1 <ns a. Diese müssen wiederum Nichtstandardzahlen sein, da
a−n +A ns = a gilt und die Summe zweier Standardzahlen wiederum eine
Standardzahl ist. Der Ordnungstyp β besteht daher aus einer Folge von
Intervallen vom Ordnungstyp ω ∗ + ω, kann also als
β = (ω ∗ + ω) · γ für γ %= ∅ geeignet
dargestellt werden.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
98 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (10)
3 Was lässt sich über γ sagen (außer dass γ %= ∅ gilt)?
Wir beobachten, dass γ eine dichte lineare Ordnung ohne kleinstes und
größtes Element ist:
!
!
γ hat kein größtes Element. Andernfalls gäbe es ein letztes Intervall
ω ∗ + ω im Nichtstandardteil. Betrachtet man für ein a aus diesem
Intervall die Zahl a +A a, so muss diese aber größer als alle Zahlen
a +A ns (n ≥ 0) sein (wegen der Monotonie von +A ). a +A a liegt also
rechts des Intervalls ω ∗ + ω von a.
γ hat kein kleinstes Element. Andernfalls gäbe es ein erstes Intervall
ω ∗ + ω im Nichtstandardteil. Betrachtet man für ein gerade Zahl a aus
diesem Intervall die Zahl a! mit a! +A a! = a, so kann a! keine
Standardzahl sein (da die Summe zweier Standardzahlen wiederum eine
Standardzahl ist); a! kann aber auch nicht in dem (ω ∗ + ω)-Intervall
von a liegen, da andernfalls a! +A ns = a für eine geeignete
Standardzahl ns gelten würde, was der Injektivität von +A
widerspräche. Also muss die Nichtstandardzahl a! links des
(ω ∗ + ω)-Intervalls von a liegen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
99 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (11)
3 (Fortsetzung)
!
γ ist dicht. Gegeben zwei (ω ∗ + ω)-Intervalle I und I ! des
Nichtstandardteils, so dass I links von I ! liegt, wählt man gerade
Zahlen a ∈ I und a! ∈ I und betrachtet die Zahl a!! , die arithmetisches
Mittel von a und a! ist, d.h. für die a!! +A a!! = a +A a! gilt. Aus den
Monotonieeigenschaften von +A folgt, dass a <ns a!! <ns a! und
a!! %∈ I ∪ I ! gilt.
4 Zusammenfassung der Beobachtungen:
SATZ. Sei α der Ordnungstyp eines Nichtstandardmodells A der Arithmetik.
Dann gilt
α = ω + (ω ∗ + ω) · γ wobei γ dicht und ohne Endpunkte ist
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
100 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (12)
4 (Fortsetzung)
Da jede abzählbare dichte lineare Ordnung ohne Endpunkte isomorph zu der
Ordnung der rationalen Zahlen ist, folgt:
KOROLLAR. Sei α der Ordnungstyp eines abzählbaren Nichtstandardmodells A der Arithmetik. Dann gilt
α = ω + (ω ∗ + ω) · δ
(Insbesondere stimmen also die Ordnungen der abzählbaren Nichtstandardmodelle der Arithmetik bis auf Isomorphie überein.)
Während sich die Ordnung der abzählbaren Nichtstandardmodelle also einfach
beschreiben lässt, lassen sich Addition und Multiplikation nur sehr viel schwerer
beschreiben, weshalb die Nichtstandardmodelle der Arithmetik insgesamt sehr
komplex sind und keine einfache Beschreibung besitzen.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
101 / 121
Zur Struktur der Nichtstandardmodelle der Arithmetik (13)
Weiterführende Literatur zur Nichtstandard-Arithmetik und
Nichtstandard-Analysis:
Kaye, Richard. Models of Peano arithmetic. Oxford Logic Guides, 15. Oxford
Science Publications. The Clarendon Press, Oxford University Press, New
York, 1991.
Robinson, Abraham. Non-standard analysis. Reprint of the second (1974)
edition. With a foreword by Wilhelmus A. J. Luxemburg. Princeton
Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1996.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
102 / 121
3.7 Die Prädikatenlogik 2. Stufe
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
103 / 121
Die oben an einer Reihe von Beispielen gezeigte Ausdrucksschwäche der
Prädikatenlogik erster Stufe (PL1) lässt sich überwinden, wenn wir die Sprache so
erweitern, dass wir nicht nur über die Individuen (= Objekte der Stufe 1) einer
Struktur quantifizieren können sondern auch über die Teilmengen des
Individuenbereichs (= Objekte der Stufe 2) - oder allgemeiner über die Relationen
beliebiger (aber fester) Stelligkeit auf dem Individuenbereich.
Die entsprechende Erweiterung von PL1 nennt man die Prädikatenlogik zweiter
Stufe (PL2).
Im Folgenden stellen wir diese Erweiterung von PL1 kurz vor.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
104 / 121
3.7.1 Syntax und Semantik von PL2
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
105 / 121
Die Sprachen von PL2
Eine Sprache L(2) von PL2 erhält man aus einer Sprache L = L(1) von PL1,
indem man den logischen Teil der Sprache um unendlich viele n-stellige
Relationsvariablen
V0n , V1n , V2n , . . .
für jedes n ≥ 1 erweitert.
(Im Folgenden bezeichnen wir Relationsvariablen mit X , Y , Z , Xi etc., und wir
schreiben X (n) um anzudeuten, dass X n-stellig ist.)
Der nichtlogische Teil - also insbesondere auch die Signatur - von L bleiben
unverändert.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
106 / 121
Syntax der Terme und Formeln von PL2
Die L(2) -Terme sind gerade die L-Terme.
Die L(2) -Formeln sind wie die L-Formeln induktiv definiert, wobei die beiden
folgenden Klauseln in der induktiven Definition der Formeln hinzugenommen
werden:
(F1)(c)
Sind t1 , . . . , tn Terme und X eine n-stellige Relationsvariable,
so ist X (t1 , . . . , tn ) eine Formel.
(F5)
Ist ϕ eine Formel und X eine Relationsvariable, so ist auch
∃X ϕ eine Formel.
Entsprechend dem Allquantor vom Typ 1, definieren wir ∀X ϕ :≡ ¬∃X ¬ϕ.
Freie und gebundene Vorkommen von Relationsvariablen in einer Formel sind
entsprechend wie bei Individuenvariablen definiert. Eine Formel der zweiten Stufe
ist ein Satz, falls sie keine freien Variablen (also weder freie Individuenvariablen
noch freie Relationsvariablen) enthält.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
107 / 121
Semantik der Terme und Formeln von PL2 (1)
BELEGUNGEN B DER VARIABLEN IN EINER L-STRUKTUR A:
(n )
(n )
Um eine L(2) -Formel ϕ ≡ ϕ(x1 , . . . , xn , X1 1 , . . . , Xm m ), in der höchstens die
(n )
(n )
Individuenvariablen x1 , . . . , xn und die Relationsvariablen X1 1 , . . . , Xm m frei
vorkommen, in einer L-Struktur A zu interpretieren, betrachten wir Belegungen
(n )
(n )
B der Variablen x1 , . . . , xn , X1 1 , . . . , Xm m in A, wobei (wie in PL1)
B(x1 ) = ai ∈ A und (neu) B(Xj ) = Rj ⊆ Anj , also B(Xj ) eine nj -stellige Relation
auf dem Individuenbereich A von A ist (1 ≤ i ≤ n, 1 ≤ j ≤ m).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
108 / 121
Semantik der Terme und Formeln von PL2 (2)
WAHRHEIT IN EINER STRUKTUR A BZGL. EINER BELEGUNG B:
Man definiert dann
A !(2) ϕ[a1 , . . . , an , R1 , . . . , Rm ],
(was zu lesen ist, dass die Formel ϕ bzgl. der Variablenbelegung a1 , . . . , an ,
R1 , . . . , Rm in A wahr ist) durch Ind(ϕ):
Dabei stimmt im Falle von Formeln der Gestalt (F1) (a) und (b) sowie (F2)
- (F4) die Definition von !(2) mit der Definition von ! in PL1 überein. (Die
Belegung [...] dort ist lediglich durch [..., R1 , . . . , Rm ] zu ersetzen.)
Im Falle von Formeln der neuen Typen (F1)(c) und (F5) geht man wie folgt
+ := R1 , . . . Rm ):
vor (wobei +a := a1 , . . . , an und R
!
+ falls (t A [+a], . . . , t A [+a]) ∈ Rj gilt.
A !(2) Xj (t1 , . . . , tnj )[+a, R],
nj
1
!
+ falls es eine nj -stellige Relation R ! ⊆ Anj gibt mit
A !(2) ∃Xj ϕ[+a, R],
j
A !(2) ϕ[+a, R1 , . . . , Rj−1 , Rj! , Rj+1 , . . . , Rm ].
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
109 / 121
Semantik der Terme und Formeln von PL2 (3)
WAHRHEIT IN EINER STRUKTUR A: Wie in PL1 zeigt man, dass die Wahrheit
einer Formel ϕ(2) von PL2 in einer Struktur A bzgl. einer Belegung nur von der
Belegung der Variablen (1. und 2. Stufe) abhängt, die in ϕ(2) frei vorkommen
(Koinzidenzlemma für PL2).
Insbesondere hängt die Wahrheit eines Satzes σ (2) (d.h. einer Formel, die weder
frei vorkommende Individuenvariablen noch frei vorkommende Relationsvariablen
besitzt) in A nicht von der gewählten Belegung ab.
MODELLE UND THEORIEN 2. STUFE: Ist σ (2) in A wahr, so nennen wir A
wiederum ein Modell von σ (2) und schreiben A !(2) σ (2) . Theorien (2. Stufe) sind
entsprechend zu den Theorien (1. Stufe) in PL1 definiert und ebenso die
Modellklassen von Sätzen und Theorien. Eine Strukturklasse K ist in PL2
definierbar, wenn es einen PL2-Satz σ (2) gibt, dessen Modellklasse K ist, und eine
Struktur A ist in PL2 (bis auf Isomorphie) definierbar, wenn ihr Isomorphietyp in
PL2 definierbar ist.
Die Theorie 2. Stufe einer Struktur A ist definiert durch
Th(2) (A) = {σ (2) : A !(2) σ (2) }
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
110 / 121
3.7.2 Definierbarkeit in PL2
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
111 / 121
Endlichkeit in PL2
Wir wollen nun zeigen, dass man in PL2 (im Gegensatz zu PL1) den Endlichkeitsbegriff und die Struktur der natürlichen Zahlen (bis auf Isomorphie)
beschreiben kann. Wir betrachten zunächst die Endlichkeit.
SATZ 1. Sei L eine beliebige Sprache der Prädikatenlogik erster Stufe. Es gibt
einen L(2) -Satz σfin , so dass für jede L-Struktur A gilt:
Mathematische Logik (WS 2011/12)
A !(2) σfin ⇔ A endlich.
(3)
Kap. 3: Theorien und Modelle
112 / 121
Beweis von Satz 1: Idee
Eine Menge M ist genau dann endlich, wenn jede echte Teilmenge von M kleinere
Kardinalität als M hat. (D.h. das Prinzip, dass der Teil kleiner als das Ganze ist,
gilt gerade für endliche Mengen.)
Hierbei gilt
|M1 | ≤ |M2 | :⇔ Es gibt eine injektive Abbildung von M1 nach M2 .
Die Menge M ist also genau dann endlich, wenn sich M in keine echte Teilmenge
von M injektiv abbilden lässt.
Im Folgenden werden wir zeigen, dass sich diese Aussage durch einen Satz σfin in
der Sprache von PL2 ausdrücken lässt.
Hierbei stellen wir Funktionen durch deren Graphen dar.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
113 / 121
Beweis von Satz 1: Details
Zur Definition von σfin benötigen wir folgende Teilformeln:
ψ1 :≡ ∀x∃y (X (x, y )) ∧ ∀x∀y1 ∀y2 (X (x, y1 ) ∧ X (x, y2 ) → y1 = y2 )
X ist der Graph einer (überall definierten) Funktion f .
ψ2 :≡ ∀x1 ∀x2 ∀y (X (x1 , y ) ∧ X (x2 , y ) → x1 = x2 )
f ist injektiv.
ψ3 :≡ ∀x∀y (X (x, y ) → Y (y ))
Der Wertebereich von f ist in Y enthalten.
ψ4 :≡ ∃y (¬Y (y ))
Y ist echte Teilmenge des Individuenbereichs.
Hiermit definieren wir dann
σfin :≡ ∀Y (ψ4 → ¬∃X (ψ1 ∧ ψ2 ∧ ψ3 )).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
114 / 121
Die Arithmetik in PL2
Die Struktur N = (N; S; 0) der natürlichen Zahl mit Nachfolgerfunktion und Null
lässt sich durch die folgenden Peano-Axiome 2. Stufe bis auf Isomorphie
beschreiben:
P1
P2
IND
:≡ ∀x(S(x) %= 0)
:≡ ∀x∀y (S(x) = S(y ) → x = y )
:≡ ∀X (X (0) ∧ ∀x(X (x) → X (S(x)) → ∀x(X (x)))
Dabei drücken die beiden Axiome P1 und P2 (der ersten Stufe) aus, dass die Null
kein Nachfolger und die Nachfolgerfunktion injektiv ist. Das Induktionsaxiom IND
(das von der zweiten Stufe ist) besagt, dass jede induktive Menge X (d.h. jede
Menge, die die Null enthält und mit jeder Zahl auch deren Nachfolger) die Menge
aller Zahlen (Individuen) ist.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
115 / 121
Der Satz von Dedekind
SATZ VON DEDEKIND. Sei L = L(S; 0). Dann gilt für jede L-Struktur A:
A !(2) P1 ∧ P2 ∧ IND ⇔ A ∼
=N
(4)
BEWEISIDEE: Um die Richtung ⇐ zu zeigen, beobachtet man, dass in
isomorphen L-Strukturen dieselben Sätze 2. Stufe wahr sind. Man zeigt dies, wie
für Sätze 1. Stufe (vgl. Übungen).
Zum Beweis der Richtung ⇒ nehmen wir an, dass A = (A; S A ; 0A ) ein Modell
der Peano-Axiome P1, P2 und IND ist. Wir definieren einen Isomorphismus f von
N nach A durch Ind(n):
f (0) := 0A
f (n + 1) := S A (f (n))
Den Nachweis der Isomorphismeneigenschaften lassen wir als Übung.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
116 / 121
Der Satz von Dedekind: Anmerkungen
Will man Strukturen der natürlichen Zahlen mit zusätzlichen Grundrelationen und
-zeichen, wie z.B. die Struktur N ! = (N; ≤; +, ·, S; 0, 1) bis auf Isomorphie in PL2
beschreiben, so muss man zu den drei Peano-Axiomen lediglich Axiome hinzufügen, die die Bedeutung der zusätzlichen Grundrelationen, -funktionen und
-konstanten auf Nachfolger und Null zurückführen.
Im Falle von Addition und Multiplikation gibt man hierzu die Rekursionsgleichungen für diese Funktionen an:
∀x(x + 0 = x) ∧ ∀x∀y (x + S(y ) = S(x + y ))
∀x(x · 0 = 0) ∧ ∀x∀y (x · S(y ) = (x · y ) + x)
Die Eins wird durch S(0) = 1 beschrieben und die Ordnung durch
∀x∀y (x ≤ y ↔ ∃z(x + z = y )).
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
117 / 121
Der Satz von Dedekind: Anmerkungen (Forts.)
Die L(≤; +, ·, S; 0, 1)-Strukturen, die die Konjunktion aus diesen zusätzlichen
Axiomen und den Peano-Axiomen erfüllen, sind dann genau die
L(≤; +, ·, S; 0, 1)-Strukturen, die isomorph zu N ! sind.
Ähnlich wie N ! kann man auch
N !! = (N; ≤; +, ·; 0, 1)
durch Axiome in der 2. Stufen bis auf Isomorphie beschreiben. Hierzu geht man
wie bei N ! vor, ersetzt lediglich überall S(t) durch t + 1.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
118 / 121
3.7.3 PL2 und Kompaktheit
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
119 / 121
Wahrheit und Beweisbarkeit in PL2
Trotz der Ausdrucksschwäche von PL1, die in PL2 behoben wird, spielt die
Prädikatenlogik der ersten Stufe eine wichtigere Rolle als die Prädikatenlogik
zweiter Stufe.
Grund hierfür ist, dass es adäquate Kalküle für PL1 gibt, man also den nach
Definition in hohem Grade nichtkonstruktiven Wahrheitsbegriff durch den
konstruktiven Beweis(barkeits)begriff erfassen kann.
Für die Prädikatenlogik zweiter Stufe gibt es dagegen keine adäquaten Kalküle.
Um dies zu zeigen, beobachtet man, dass der Kompaktheitssatz in PL2 nicht gilt.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
120 / 121
Nichtkompaktheit des Folgerungsbegriffs in PL2
SATZ. (i) Es gibt eine Theorie T von PL2, die nicht erfüllbar ist, obwohl jede
endliche Teiltheorie von T erfüllbar ist.
(ii) Es gibt eine Theorie T und einen Satz σ von PL2 mit
(∗) T !(2) σ, wogegen für alle T ! ⊆ T endlich gilt: T ! %!(2) σ
(2)
(2)
BEWEIS. (i) Betrachte T = {σfin } ∪{ ϕ≥n : n ≥ 0}, wobei σfin der Satz zweiter
Stufe ist, der gerade in den endlichen Strukturen gilt, wogegen ϕ≥n der Satz
erster Stufe ist, der gerade in Strukturen mit mindestens n Elementen gilt.
(2)
(ii) Betrachte T = {ϕ≥n : n ≥ 0} und σ ≡ ¬σfin .
KOROLLAR. Es gibt keinen Kalkül K von PL2 mit
∀ T , σ : (∗∗) T 8K σ ⇔ T !(2) σ
Beweis. Dies folgt aus (∗) oben, da für den Beweisbarkeitsbegriff in jedem Kalkül
K gilt:
T 8K σ ⇒ Es gibt T ! ⊆ T endlich mit T ! 8K σ.
Mathematische Logik (WS 2011/12)
Kap. 3: Theorien und Modelle
121 / 121