English

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)

R2 v1 2026-06-28T15:33:49.103Z