Direkt zum Inhalt | Direkt zur Navigation

Eingang zum Volltext

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:bsz:25-opus-2559
URL: http://www.freidok.uni-freiburg.de/volltexte/255/


Kraus, Ingo

Lokale Stabilitaet in generischen Modellen

Local stability in generic models

Dokument1.pdf (2.141 KB) (md5sum: 843e82cac07907c1a921c0fcdb8dfbb7)

Kurzfassung in Deutsch

Ich entwickele Stabilitätstheorie bezüglich einer Familie von stabilen Formeln einer vollständigen Theorie T. Das verallgemeinert den klassischen Ansatz, in dem mit der Familie aller Formeln gearbeitet wird, welche zusätzlich als stabil vorausgesetzt werden. Ausserdem entwickele ich diese Methoden nicht wie üblich in der Klasse der saturierten Modelle der gegebenen Theorie, sondern in der Klasse der generischen Modelle der Theorie. Unter bestimmten Voraussetzungen an die Theorie sind die generischen Modelle genau die saturierten Modelle.


Kurzfassung in Englisch

I develop the machinery of stability with respect to a given family of stable formulas in a given complete theory T. This generalizes the classic approach in which all formulas are supposed to be stable and the regarded family is the family of all formulas. Moreover, I develop this machinery not in the class of saturated models of T, but in the more generalized setting of generic models. They coinside with the saturated models iff T is modelcomplete.


SWD-Schlagwörter: Mathematische Logik , Modelltheorie
Freie Schlagwörter (deutsch): Stabilitaetstheorie , stabil , forking , generische Modelle , Universalbereiche
Freie Schlagwörter (englisch): local stability , stability , forking , universal domains, local forking
MSC Klassifikation 03C45 , 03C50 , 03C52
Institut: Institut f. Math. Logik u. Grundlagen d. Mathematik
Fakultät: Mathematische Fakultät (bis Sept. 2002)
DDC-Sachgruppe: Mathematik
Dokumentart: Dissertation
Erstgutachter: Ziegler, Martin Prof. Dr.
Sprache: Deutsch
Tag der mündlichen Prüfung: 09.03.2001
Erstellungsjahr: 2001
Publikationsdatum: 12.10.2001
Bemerkung: The revised and improved version can be found under http://logik.mathematik.uni-freiburg.de/preprints.html#diss
Indexliste