• Keine Ergebnisse gefunden

x ∈ Z istdieMenge x Z elementardefinierbarin Z ? WirbetrachtendieStruktur Z =( Z ,<, P ) wobei P =4 Z .FürwelcheEle-mente Aufgabe2 ( Q , · ) . { ( p , q ): p , q sindPrimzahlzwillinge } in ( N , + , · ) ;(d)dieMengederganzenZahlenin < in ( Q , +) ;(c)dieRe

N/A
N/A
Protected

Academic year: 2021

Aktie "x ∈ Z istdieMenge x Z elementardefinierbarin Z ? WirbetrachtendieStruktur Z =( Z ,<, P ) wobei P =4 Z .FürwelcheEle-mente Aufgabe2 ( Q , · ) . { ( p , q ): p , q sindPrimzahlzwillinge } in ( N , + , · ) ;(d)dieMengederganzenZahlenin < in ( Q , +) ;(c)dieRe"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

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?

Referenzen

ÄHNLICHE DOKUMENTE

UBUNGEN ZUR VARIATIONSRECHNUNG IM SS 2011 ¨ BLATT 2 (BESPRECHUNG AM 17.. Hin- weis: Verwenden Sie die

[r]

Da w stetig ist, können wir [0, 1] durch in [0, 1] offene Intervalle überdecken, deren Bilder unter w eweils in trivialisierenden offenen Teilmengen von X enthalten sind.. Der

Betrachte Beispiel 3.12 von Folie 169, die Arithmetik der

(a) Vereinfachen Sie die Formel t Schritt für Schritt unter Verwendung der aus der Vorlesung bekannten semantischen Äquivalenzen so weit wie möglich.. Beweisen Sie, dass R genau

Mit der Primfaktorzerlegung können wir den grössten gemeinsamen Teiler (ggT) zwei- er oder mehrerer Zahlen relativ einfach bestimmen..

[r]

Wir interessieren uns für die Koordina- ten (x’,y’,z’) dieses Punktes, nachdem er um einen Vektor ver- schoben bzw./und um eine vorgegebene Achse gedreht wurde... Wir wählen als