Modelltheorie < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | T eine Theorie, die vollständig ist, keine endlichen Modelle besitzt und [mm] \aleph_0-kategorisch [/mm] ist.
Wir sollen zeigen, daß für jede Formel [mm] \varphi(\bar{x},\bar{y}) [/mm] existiert eine Formel [mm] \psi(\bar{y}), [/mm] sodaß
[mm] T\models\forall\bar{y}(\exists^{\infty}\bar{x}\varphi(\bar{x},\bar{y})\leftrightarrow\psi(\bar{y}))
Hi Leute,
ich bin gerade echt am verzweifeln, ich finde keinen Ansatz für die obigen Aufgabe.
Danke jedem, der hier seinen Senf dazu gibt =).
ciao
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt:
[http://www.matheboard.de/thread.php?threadid=124145]. Zufrieden =)?
[/mm]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:21 Di 03.07.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
|
