On transfer principles in Henselian valued fields

In dieser Arbeit untersuchen wir Transferprinzipien im Kontext bestimmter Henselsche bewerterter Körper. Zunächst berechnen wir die Bürde --eine Größe, welche mit der modelltheoretischen Komplexität zusammenhängt-- eines bewerterte Körper mittels der Bürde seiner Wertgruppe und seines Restklassenkör...

Verfasser: Touchard, Pierre
Weitere Beteiligte: Hils, Martin (Gutachter)
FB/Einrichtung:FB 10: Mathematik und Informatik
Dokumenttypen:Dissertation/Habilitation
Medientypen:Text
Erscheinungsdatum:2020
Publikation in MIAMI:17.12.2020
Datum der letzten Änderung:15.01.2021
Angaben zur Ausgabe:[Electronic ed.]
Schlagwörter:Logik; Modelltheorie; Komplexitätstheorie; Bewertete Körper; Bürde Logic; Model Theory; Complexity Theory; Valued Fields; Burden
Fachgebiet (DDC):510: Mathematik
Lizenz:CC BY 4.0
Sprache:English
Format:PDF-Dokument
URN:urn:nbn:de:hbz:6-69019385588
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-69019385588
Onlinezugriff:diss_touchard.pdf

In dieser Arbeit untersuchen wir Transferprinzipien im Kontext bestimmter Henselsche bewerterter Körper. Zunächst berechnen wir die Bürde --eine Größe, welche mit der modelltheoretischen Komplexität zusammenhängt-- eines bewerterte Körper mittels der Bürde seiner Wertgruppe und seines Restklassenkörpers. Zweitens zeigen wir ein Transferprinzip für die Eigenschaft, dass alle in einer bestimmten Elementarerweiterung realisierten Typen definierbar sind. Die Beweise nutzen einen gemeinsamen Ansatz der darin besteht, zuerst eine Reduktion auf eine Zwischenstruktur zu etablieren, die als Leitkoeffizientenstruktur bezeichnet wird, und dann auf die Wertegruppe und den Restklassenkörper zu reduzieren. Dies erlaubt es uns ähnliche Reduktionsprinzipien wie im Kontext von reinen kurzen exakten Sequenzen abelscher Gruppen zu entwickeln.

In this thesis, we study transfer principles in the context of certain Henselian valued fields. First, we compute the burden --a cardinal related to the model theoretic complexity-- of some valued field in terms of the burden of its value group and its residue field. Secondly, we show a transfer principle for the property that all types realised in a given elementary extension are definable. The proofs use a common approach, which has been developed recently. It consists of establishing first a reduction to an intermediate structure called the leading term structure and then of reducing to the value group and residue field. This leads us to develop similar reduction principles in the context of pure short exact sequences of abelian groups.