Volltext
11. Gruppenübung, Mathematische Logik, SS 2017
Aufgabe 1
Zeigen oder widerlegen Sie für die folgenden Klassen von Strukturen jeweils, dass sie FO-axiomatisierbar beziehungsweise endlich FO-axiomatisierbar sind.
Geben Sie für den Fall, dass eine Klasse nicht (endlich) axiomatisierbar ist, je- weils einen Beweis mit Ehrenfeucht-Fraïssé-Spielen sowie einen mit dem Kom- paktheitssatz an.
(a) Die Klasse der endlichen Cliquen.
(b) Die Klasse der unendlichen Sterne.
ÄHNLICHE DOKUMENTE
Um Prioritätsstreitigkeiten zu vermeiden, sind Lösungen entweder im Se- kretariat E204 abzugeben oder per Email an wengenroth@uni-trier.de
Für unbeschränkte Petri-Spiele konnte durch eine Reduktion gezeigt werden, dass die Frage nach der Existenz einer gewinnenden Strategie
[r]
Sei K die Klasse aller Strukturen (T, ) wobei T ⊆ {0, 1} ∗ eine präfix-abgeschlossene Menge von Wörtern ist und. x y
Geben Sie ferner ein endliches Axiomensystem an oder zeigen Sie mit Hilfe der Methode von Ehrenfeucht- Fraïssé, dass kein endliches Axiomensystem existiert.. (a) Die Klasse
Mathematische Grundlagen der Informatik RWTH
Durch die Fortsetzung von bekannten Multiplikationen erhält man eine Zahlenreihe, die aufzeigt, wie man vorgeht. Das Produkt zweier negativer Zahlen
[r]
