[MaLo] 12.1 (a): unendl. lin. ordnungen

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

12.1 (a): unendl. lin. ordnungen

Beitragvon Flo » 24.08.09 13:16

Hi zusammen,

ich hab ein Verständnisproblem mit Aufgabe 12.1 a.

(a) Die Klasse aller unendlichen linearen Ordnungen
(zeige ob ax'bar, endlich ax'bar oder nicht ax'bar)

Die Musterlösung habe ich zwar verstanden, die Lösung die ich mir zuerst gedacht hatte war aber folgende:

\varphi=(\forall x\exists x(x<y))~\vee ~(\forall x \exists y(y<x))~\vee~ (\forall x\forall y \exists z (x<y \rightarrow x<z \wedge z < y))

Ich will also festlegen dass die Ordnung in mindestens 1 Richtung unendlich oder dicht ist. Ich dachte, genau dann wäre sie unendlich?

Wo liegt mein Denkfehler?

Gruß
Flo
"If you type 'google' into Google, you can break the internet!", Jen Barber
Flo
 
Beiträge: 41
Registriert: 31.01.09 22:19
Wohnort: Aachen
Studiert seit: WS 07/08

Beitragvon Flo » 24.08.09 13:24

schon gut, hat sich erledigt (Musterlösung, Struktur B)
-> Endpunkte, nicht dicht und doch unendlich.

Habs übersehn ;-)
"If you type 'google' into Google, you can break the internet!", Jen Barber
Flo
 
Beiträge: 41
Registriert: 31.01.09 22:19
Wohnort: Aachen
Studiert seit: WS 07/08


Zurück zu Theoretische Informatik