DP-MINIMAL VALUED FIELDS

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications of dp-minimal ordered abelian groups and dp-minimal ordered fields without additional structure.

[1]  Vincent Guingona.  On VC-minimal fields and dp-smallness , 2014, Arch. Math. Log..

[2]  Frank O. Wagner,et al.  Artin-Schreier extensions in NIP and simple fields , 2010, 1009.5421.

[3]  Wim H. Schikhof,et al.  VALUED FIELDS , 2008 .

[4]  Pierre Simon.  Dp-Minimality: Invariant Types and DP-rank , 2014, J. Symb. Log..

[5]  Arno Fehm,et al.  Fields with almost small absolute Galois group , 2014, 1404.3343.

[6]  Dugald Macpherson,et al.  Weakly o-minimal structures and real closed fields , 2000 .

[7]  Franziska Jahnke,et al.  DEFINABLE HENSELIAN VALUATIONS , 2012, The Journal of Symbolic Logic.

[8]  Charles N. Delzell,et al.  Mathematical Logic and Model Theory , 2011 .

[9]  K. Zh. Kudaĭbergenov.  Weakly quasi-o-minimal models , 2010 .

[10]  Alf Onshuus.  On dp-minimality, strong dependence and weight , 2011, J. Symb. Log..

[11]  Franziska Jahnke,et al.  Uniformly defining p-henselian valuations , 2014, Ann. Pure Appl. Log..

[12]  John Goodrick.  A monotonicity theorem for dp-minimal densely ordered groups , 2010, J. Symb. Log..

[13]  Will Johnson,et al.  On dp-minimal fields , 2015, 1507.02745.

[15]  Martin Ziegler,et al.  Model theoretic methods in the theory of topological fields. , 1978 .

[16]  Pierre Simon.  On dp-minimal ordered structures , 2011, J. Symb. Log..

[17]  Deirdre Haskell,et al.  Vapnik-Chervonenkis Density in some Theories without the Independence Property, II , 2015 .

[18]  Françoise Delon,et al.  Some model theory for almost real closed fields , 1996, Journal of Symbolic Logic.

[19]  Deirdre Haskell,et al.  Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II , 2011, Notre Dame J. Formal Log..

[20]  A. Macintyre,et al.  Elimination of Quantifiers in Algebraic Structures , 1983 .

[21]  Pierre Simon,et al.  Henselian Valued Fields and InP-Minimality , 2019, J. Symb. Log..