z.z.

/ Methode Idee / Ansatz Begründung / Argumentation Beispiel

Finde ein unendliches Axiomensystem Ψ für eine Strukturklasse • Angenommen Φ axiomatisiert K; dann ist Φ ∪ Ψ unerfüllbar!
gar nicht
K0 ⊆ Str(τ ) − K, so dass jede endliche Teilmenge von Ψ ein • Nach KS gibt es endliches unerfüllbares Φ0 ⊆ Φ ∪ Ψ. K: Klasse aller endlichen
axiomatisierbar
Modell aus K besitzt (axiomatisiere also “gegenteilige Aussagen” Mengen; wähle Ψ = Φ∞ .
(KS) • Nach Wahl von Ψ gibt es ein Modell von Φ0 ; Widerspruch.
durch Ψ).

• Ang. ϕ axiomatisiert K; dann Mod(¬ϕ) = Str(τ ) − K.

Wir nehmen an, ein unendliches Axiomensystem Φ für K zu
nicht endlich • Demnach ist {¬ϕ} ∪ Φ unerfüllbar!
kennen, welches aus gutem Grund unendlich viele Sätze benutzt. K: Klasse aller unendlichen
axiomatisierbar
Genauer unterstellen wir, dass für jede endliche Teilmenge • Nach KS gibt es endliches unerfüllbares Φ0 ⊆ {¬ϕ} ∪ Φ. Mengen; wähle Φ = Φ∞ .
(KS)
Φ0 ⊆ Φ gilt: K ( Mod(Φ0 ).
• Gebe nun ein Modell von Φ0 an; Widerspruch.

Sei τ relational und abzählbar. Dann finde τ -Strukturen • Angenommen Φ axiomatisiert K; dann B 6|= Φ.
gar nicht (Am )m∈N und B mit Am ≡m B und Am ∈ K für alle m ∈ N K: Klasse aller abzählbaren
axiomatisierbar aber B 6∈ K. Um Am ≡m B zu zeigen, finde Gewinnstrategie für • Wähle ψ ∈ Φ mit B 6|= ψ. Sei m := qr(ψ). Mengen; wähle A = N,
(EF-Spiele) Duplikatorin in Gm (Am , B) (insb. für eine konstante Folge • Wegen Am ≡m B gilt Am 6|= ψ, also Am 6|= Φ; Widerspruch. B = R.
Am = A anwendbar, d.h. man findet A ∈ K, B 6∈ K mit A ≡ B)

Wieder τ relational und abzählbar. Finde zwei Familien von • Angenommen ϕ axiomatisiert K; wähle l := qr(ϕ).
nicht endlich K: Klasse aller unendlichen
τ -Strukturen (Am )m∈N und (Bm )m∈N mit Am ≡m Bm und • Wegen Al ≡l Bl gilt also Al |= ϕ ⇔ Bl |= ϕ.
axiomatisierbar Mengen; wähle Am = N
Am ∈ K sowie Bm 6∈ K für alle m ∈ N. Um Am ≡m Bm zu
(EF-Spiele) • Wegen Al ∈ K und Bl 6∈ K: Widerspruch. und Bm = {1, . . . , m}.
zeigen, finde Gewinnstrategie für Duplikatorin in Gm (Am , Bm ).

• Angenommen Φ axiomatisiert eine solche Strukturklasse K.

nicht
Beinhaltet K beliebig große endliche aber keine unendlichen • Nach dem aufsteigenden Satz von Löw.-Skolem hat Φ ein unendliches
axiomatisierbar K: Klasse aller endlichen
Strukturen, so kann man sofort den aufsteigenden Satz Modell A.
(aufsteig. Mengen.
Löw.-Skolem benutzen.
Löw.-Skolem) • Da keine unendliche Struktur in K enthalten ist: Widerspruch.

• Beinhaltet K nur unendliche Strukturen A mit Mächtigkeit |A| < |M |

Beinhaltet K unendliche Strukturen und zwar ausschließlich
nicht solche, deren Kardinalität sich global “beschränken” lässt, so kann
axiomatisierbar man die Löw.-Skolem-Sätze verwenden. Für jedes Axiomensystem
(Löw.-Skolem) findet man dann nämlich sehr kleine unendliche (abzählbare)
Modelle und beliebig große unendliche Modelle.
für feste Menge M , so verwende aufsteigenden Satz von Löw.-Skolem
und erhalte für hypoth. Axiomensystem Φ ein Modell mit Mächtigkeit
≥ |M |; Widerspruch. K: die Isomorphieklasse
einer unendlichen Struktur.
• Beinhaltet K nur unendliche Strukturen A mit Mächtigkeit |A| > |N|,
verwende absteigenden Satz von Löw.-Skolem und erhalte für hypoth.
Axiomensystem Φ ein abzählbares Modell; Widerspruch.