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-21693
URL: http://www.freidok.uni-freiburg.de/volltexte/2169/


Adler, Hans

Explanation of independence

Unabhängigkeitserklärung

Dokument1.pdf (773 KB) (md5sum: f90c63ba54bf0e64a85cdaa65d5009ce)

Kurzfassung in Englisch

An axiomatic treatment of `independence relations' (notions of independence) for complete first-order theories is presented, the principal examples being forking (due to Shelah) and thorn-forking (due to Onshuus). Thorn-forking is characterised in terms of modular pairs in the lattice of algebraically closed sets. Wherever possible, forking and thorn-forking are treated in a uniform way. They are dual in the sense that forking is the finest (most restrictive) and thorn-forking the coarsest independence relation worth examining. We finish by defining the kernel of a sequence of indiscernibles and studying its relation to canonical bases.


Kurzfassung in Deutsch

Die Arbeit behandelt Unabhängigkeitsrelationen für vollständige Theorien der Prädikatenlogik erster Stufe, wie beispielsweise Forking (Shelah) und Thorn-Forking (Onshuus), axiomatisch. Thorn-Forking wird durch modulare Paare im Verband der algebraisch abgeschlossenen Mengen charakterisiert. Wann immer möglich werden Forking und Thorn-Forking einheitlich behandelt. Sie sind insofern dual zueinander, als Forking die feinste und Thorn-Forking die gröbste Relation ist, die als Unabhängigkeitsrelation in Frage kommt. Die Arbeit endet mit der Definition des Kerns einer Folge von Indiscernibles und der Beschreibung seiner Beziehungen zu kanonischen Basen.


SWD-Schlagwörter: Stabilitätstheorie <Logik> , Modelltheorie , Semimodularer Verband
Freie Schlagwörter (deutsch): Unabhängigkeit , Forking , Thorn-Forking , kanonische Basis
Freie Schlagwörter (englisch): independence , forking , thorn-forking , canonical base
MSC Klassifikation 03C45 , 06C10
Institut: Institut f. Math. Logik u. Grundlagen d. Mathematik
Fakultät: Fakultät für Mathematik und Physik
DDC-Sachgruppe: Mathematik
Dokumentart: Dissertation
Erstgutachter: Ziegler, Martin (Prof. Dr.)
Quelle: http://arxiv.org/abs/math.LO/0511616
Sprache: Englisch
Tag der mündlichen Prüfung: 16.11.2005
Erstellungsjahr: 2005
Publikationsdatum: 07.12.2005
Indexliste