Erläuterung des Modellbegriffs < axiomatisch < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 22:38 Do 05.06.2008 | | Autor: | JakobL |
Guten abend allerseits,
steht folgende Definition:
Sei M= <M,R> ein L[mm]\epsilon[/mm] - Modell mit M |= ZF^[mm](-\infty)[/mm].
Außerdem werden noch rekursiv die Elemente von M definiert(krieg ich leider in Latex nicht hin...):
[mm] V0^M [/mm] = x :<=> M |= x = [mm]\emptyset[/mm]
[mm] (Vn+1)^M [/mm] = x :<=> M |= x = [mm] P((Vn)^M)
[/mm]
Die rekursive Definition verstehe ich denke ich schon, nur der Ausdruck M |= bereitet mir Kopfzerbrechen. Leider wurde es in der Vorlesung nicht angesprochen und bei Google habe ich bis jetzt auch nichts gefunden. Kann mir jemand vielleicht kurz und prägnant erklären, was ein Modell ist und was |= bedeutet? Das würde mir sehr helfen.
Dankeschön
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Sa 07.06.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 11:52 So 08.06.2008 | | Autor: | JakobL |
keiner der das kurz erklären könnte? die fälligkeit hatte ich falsch eingestellt. bis morgen wärs noch sehr interessant...
|
|
|
|
