TRIMESTER ON MODEL THEORY, COMBINATORICS, AND VALUED FIELDS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré Paris, France January 8–April 6, 2018

2018 ◽  
Vol 24 (4) ◽  
pp. 539-542
2016 ◽  
Vol 447 ◽  
pp. 74-108 ◽  
Author(s):  
Franz-Viktor Kuhlmann ◽  
Koushik Pal
Keyword(s):  

Author(s):  
H.-D. Ebbinghaus ◽  
J. Fernandez-Prida ◽  
M. Garrido ◽  
D. Lascar ◽  
M. Rodriquez Artalejo

2018 ◽  
pp. 151-180
Author(s):  
Martin Hils
Keyword(s):  

2018 ◽  
Vol 18 (02) ◽  
pp. 1850007 ◽  
Author(s):  
Will Johnson

We construct a nontrivial definable type V field topology on any dp-minimal field [Formula: see text] that is not strongly minimal, and prove that definable subsets of [Formula: see text] have small boundary. Using this topology and its properties, we show that in any dp-minimal field [Formula: see text], dp-rank of definable sets varies definably in families, dp-rank of complete types is characterized in terms of algebraic closure, and [Formula: see text] is finite for all [Formula: see text]. Additionally, by combining the existence of the topology with results of Jahnke, Simon and Walsberg [Dp-minimal valued fields, J. Symbolic Logic 82(1) (2017) 151–165], it follows that dp-minimal fields that are neither algebraically closed nor real closed admit nontrivial definable Henselian valuations. These results are a key stepping stone toward the classification of dp-minimal fields in [Fun with fields, Ph.D. thesis, University of California, Berkeley (2016)].


Sign in / Sign up

Export Citation Format

Share Document