• Keine Ergebnisse gefunden

gibt, so dass für allen ∈ N gilt Ln

N/A
N/A
Protected

Academic year: 2021

Aktie "gibt, so dass für allen ∈ N gilt Ln"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

9. Gruppenübung, Mathematische Logik, SS 2017

Aufgabe 1

Geben Sie für die folgenden Paare von Strukturen jeweils eine trennende FO- Formel mit minimalem Quantorenrang m sowie eine Gewinnstrategie für die Duplikatorin im Spiel Gm−1(A,B) an.

(a) A : • •

• • • •

• •

B : •

• •

(b) A = Z, <A und B = Q, <B, wobei < die übliche Ordnung ist;

Aufgabe 2

(a) Sei Ln := ({0,1, . . . ,n}, <,min,max) die lineare Ordnung mit n + 1 Elementen, minLn = 0 und maxLn = n. Zeigen Sie, dass für alle n,m mit n = m oder n,m ≥ 2k gilt Lnk Lm.

(b) Folgern Sie, dass es keinen Satzϕ ∈ FO({<}) gibt, so dass für allen ∈ N gilt Ln |= ϕn ist gerade.

Referenzen

ÄHNLICHE DOKUMENTE

Dort erfahrt ihr nicht nur die Lösung dieser Aufgabe, neben den üblichen Spiele-Channels wird es diesmal noch einen Quizchannel geben, für alle unter euch, die gerne Rätsel lösen

Universität Tübingen Mathematisches Institut Prof..

Klausur (Probeklausur) Analysis I (240003) 1.. c) Die Behauptung ist im Allgemeinen nicht wahr.. b) Der Logarithmus ist eine auf (0, ∞) definierte Funktion.. Wir zeigen nun, dass

Denition Es sei X eine beliebige Menge.. Dezember, vor 10:00 Uhr in den markierten Briefkasten bei F411.). Abgabetermin:

Entscheiden Sie, ob die folgenden Aussagen je wahr oder falsch sind und kreuzen Sie Ihre Wahl an (wahr / falsch)1. Es sei (R, +, ·) ein

zient erhöht sich bei jeder Ableitung um den vorherigen 2.. Dadurch wurde gezeigt, dass der

[r]

[r]