English

Definable types in algebraically closed valued fields

Logic 2014-10-15 v1 Commutative Algebra

Abstract

Marker and Steinhorn shown that given two models MNM\prec N of an o-minimal theory, if all 1-types over MM realized in NN are definable, then all types over MM realized in NN are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. Although it is true that if MM is an algebraically closed valued field such that all 1-types over MM are definable then all types over MM definable, we build a counterexample for the relative statement, \textit{i.e.}, we show for any n1n\geq 1 that there is a pair MNM\prec N of algebraically closed valued fields such that all nn-types over MM realized in NN are definable but there is an n+1n+1-type over MM realized in NN which is not definable. Finally, we discuss what happens in the more general context of CC-minimality.

Keywords

Cite

@article{arxiv.1410.3589,
  title  = {Definable types in algebraically closed valued fields},
  author = {Pablo Cubides-Kovacsics and Françoise Delon},
  journal= {arXiv preprint arXiv:1410.3589},
  year   = {2014}
}

Comments

13 pages

R2 v1 2026-06-22T06:22:32.616Z