Mathematische Logik Aufgabe < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 13:59 Sa 10.12.2005 | | Autor: | MrPink |
Hallo, kann mir bitte jemand für die folgende Aufgabe einen Denkanstoss geben ?! Ich weiss nicht genau wasich bei A.) zeigen soll. Gut wäre auch einfach eine Formel für die a.) nicht gilt und eine Erklärung warum.
Danke im Voraus
[Dateianhang nicht öffentlich]
Dateianhänge:
Anhang Nr. 1 (Typ: JPG) [nicht öffentlich]
|
|
| |
|
Hallo MrPink,
dass die relationalen Strukturen eine aufsteigende Kette bilden, heisst, dass die
Grundmengen eine solche Kette bilden
( [mm] A_0\subseteq A_1\subseteq A_2 [/mm] .....)
und die jeweiligen Relationen auch. Zum Beweis von (a) wuerde ich das Gegenteil
annehmen, dann gaebe es ja [mm] a_1,..,a_k [/mm] so, dass fuer alle [mm] b_1,...
[/mm]
[mm] \varphi(a_1,..,a_k,b_1,..) [/mm] nicht gilt. Waehle dann [mm] n_0 [/mm] so, dass
[mm] a_1,..,a_k\in [/mm] A_ sind, dann sollte man doch einen Widerspruch dazu erhalten, dass
der Satz im i-ten Modell gilt.
Gruss,
Mathias
|
|
|
|
