9. Gruppenübung, Mathematische Logik, SS 2013
Aufgabe 1
Zeigen oder widerlegen Sie, dass die folgenden Relationen in der jeweiligen Struktur elementar definierbar sind:
(a) {0,1} in (N,·);
(b) die Ordnung < in (Q,+);
(c) die Relation {(p,q) : p,q sind Primzahlzwillinge} in (N,+,·);
(d) die Menge der ganzen Zahlen in (Q,·).
Aufgabe 2
Wir betrachten die Struktur Z = (Z, <,P) wobei P = 4Z. Für welche Ele- mente x ∈ Z ist die Menge xZ elementar definierbar in Z?