• Keine Ergebnisse gefunden

Es gen¨ugt zu zeigen, daß dieL0-Theorie T0 :=T ∪ {¬cb=c˙ b0 |b, b0∈B, b6=b0} ein Modell hat

N/A
N/A
Protected

Academic year: 2021

Aktie "Es gen¨ugt zu zeigen, daß dieL0-Theorie T0 :=T ∪ {¬cb=c˙ b0 |b, b0∈B, b6=b0} ein Modell hat"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Satz 1 (L¨owenheim Skolem aufw¨arts) Sei L eine Sprache und T eine L- Theorie, die ein unendliches Modell hat. Weiter sei B eine beliebige Menge.

Dann existiert ein ModellAvonT so daß es eine Injektion vonB nachAgibt.

Beweis: Seien cb f¨ur b ∈ B neue (d.h. nicht aus L), paarweise verschiedene Konstanten und sei

L0:=L∪ {cb|b∈B}.

Es gen¨ugt zu zeigen, daß dieL0-Theorie

T0 :=T ∪ {¬cb=c˙ b0 |b, b0∈B, b6=b0}

ein Modell hat. In der Tat: wennA0 ein Modell vonT0 ist, dann definiert b7→cAb0

eine Injektion vonBnachA0 und die RestriktionA0 List eineL-Struktur und Modell vonT.

Gem¨aß dem Kompaktheitssatz gen¨ugt es, zu zeigen, daß jede endliche Teil- menge vonT0 ein Modell hat.

Sei also T00 eine beliebige endliche Teilmenge von T0. Dann gibt es eine endliche TeilmengeB0⊆B so daß

T00 ⊆T00:=T∪ {¬cb=c˙ b0|b, b0 ∈B0, b6=b0}.

Wir geben ein Modell vonT00 an. Nach Voraussetzung gibt es eine unendliche L-Struktur M, die Modell von T ist. Sei I eine Injektion von B0 nach M. Eine solche Injektion gibt es, weilM unendlich ist. Wir expandierenMzu einer L∪ {cb|b∈B0}-StrukturMindem wircbf¨urb∈B0durchI(b) interpretieren;

genauer: Mhat GrundmengeM, interpretierts∈LdurchsM :=sMund f¨ur jedesb∈B0die Konstantecb durch

cMb :=I(b).

Offenbar istM Modell vonT00.

1

Referenzen

ÄHNLICHE DOKUMENTE

Zeigen Sie durch Angabe der Berechnungen (Konfigurationsfolgen), dass alle Wörter w ∈ {ab, abab, aaabbb, abaababb, aaabbabb} von A akzeptiert werden und alle Wörter w ∈ {a, ba,

153 cm. Hüftenbreite 54 cm. Eltern durch Pepper importirt 1885. Prämiirt in der Zuchtcollection in Beval 1893 mit der goldenen Medaille. Kuh, weiss-schwarz, Stern.

Das bestimmte Integral l¨ asst sich dann aber nicht mehr direkt als Fl¨ acheninhalt deuten... In vielen F¨ allen l¨ asst sich jedoch bei geeigenter Wahl der Faktoren eine

Sollte der Stack leer sein, bevor der Knoten gefunden wurde, befindet sich der Knoten nicht im Graphen oder er liegt nicht in der Zusammenhangskomponente des

Die Abk¨ urzung ASCII steht f¨ ur American Standard Code for Information Interchange Ein Code ordnet jedem Zeichen aus einem Zeichenmenge eindeutig ein Zeichen oder eine

Wie auf der Sicherungsschicht werden die Segmente mit Folgenummern versehen und vom Sender noch einmal ¨ ubertragen, bis er vom vom Empf¨ anger eine Best¨ atigung ¨ uber

Zuerst wird das kleinste Element im gesamten Array gesucht und mit dem Element an der ersten Stelle vertauscht, selbst wenn das kleinste Element schon an der ersten Stelle

Da die Laufzeitkomplexit¨ at f¨ urs Sortieren bereits gr¨ osser als die der sequentiellen Suche, lohnt es sich nicht, die Daten extra zu sortieren, nur um die schnellere bin¨ are