de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Dokument suchen
Boissonneau, Blaise: Combinatorial complexity in henselian valued fields : pushing Anscombe-Jahnke up the ladder. 2022
Inhalt
Introduction
Combinatorial complexity
Complexity of fields and Artin-Schreier extensions
Valued fields
Complexity of henselian valued fields
Algebraic extensions of Qp
Algebra and Model Theory of Valued Fields
Valuation theory
Dictionary of valuations
Extensions of valuations
Decomposition of valuations
Henselianity
Hensel's lemma
The canonical henselian valuation
Model theory of valued fields
Ordered abelian groups
Languages of valued fields
Algebraically closed valued fields
The AKE principle
Definability of valuations
Robinson's formula
Fehm's method
Non-explicit definability
Artin-Schreier Extensions & Combinatorial Complexity
Stable fields
NIP fields
The independence property
NIP fields
Baldwin-Saxl condition for NIP formulas
Artin-Schreier closure and local NIPity
Lifting
Explicit Shelah's conjecture
Consequences on other conjectures
dp-finite fields
NIPn fields
The n-independence property
NIPn fields
Baldwin-Saxl-Hempel's condition for NIPn formulas
Artin-Schreier closure of NIPn fields
Lifting
Simple fields
NTP2 fields
The tree property of order 2
NTP2 fields
Chernikov-Kaplan-Simon condition for NTP2 formulas
Artin-Schreier finiteness of NTP2 fields
Lifting
Tame & semitame
Towards a classification
What about Fp((Q))?
NIPn Henselian Valued Fields
Overview
Transfer theorems: from world 0-0 to the final boss
Left-to-right
Transfer theorems
NIPn & generalized indiscernibles
Chernikov-Hils' Im Plus SE conditions
NIPn CHIPS transfer
Right-to-left
Combinatorial Complexity in Algebraic Extensions of Qp
Definability of vp in algebraic extensions of Qp
Explicit definitions
Canonical l-henselian valuations on extensions of Qp
There and back again
NIPn-ity of algebraic extensions of Qp
Applying Anscombe-Jahnke's classification
Inertia and ramification groups
Special extensions of Qp
State of art for some complexity classes
Complete classifications
Partial results for NTP2
Appendix
Defining the canonical p-henselian valuation
The canonical p-henselian valuation
p-henselianity is a first order property
p-henselianity of a field
Ring-defining vKp
When p=2
Shelah's expansion and the random graph
Shelah's expansion theorem
The RSh lore