C-minimal fields have the exchange property
Logic
2024-06-24 v2
Abstract
We show that C-minimal fields (i.e., C-minimal expansions of ACVF) have the exchange property, answering a question of Haskell and Macpherson. Additionally, we strengthen some theorems of Cubides Kovacsics and Delon on C-minimal fields. First, we show that definably complete C-minimal fields of characteristic 0 have generic differentiability. Second, we show that if the induced structure on the residue field is a pure ACF, then polynomial boundedness holds. In fact, polynomial boundedness can only fail if there are unexpected definable automorphisms of the multiplicative group of the residue field.
Keywords
Cite
@article{arxiv.2403.17478,
title = {C-minimal fields have the exchange property},
author = {Will Johnson},
journal= {arXiv preprint arXiv:2403.17478},
year = {2024}
}
Comments
45 pages; this version adds multivariable generic differentiability (Section 9.1)