Definable types in algebraically closed valued fields
Abstract
Marker and Steinhorn shown that given two models of an o-minimal theory, if all 1-types over realized in are definable, then all types over realized in are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. Although it is true that if is an algebraically closed valued field such that all 1-types over are definable then all types over definable, we build a counterexample for the relative statement, \textit{i.e.}, we show for any that there is a pair of algebraically closed valued fields such that all -types over realized in are definable but there is an -type over realized in which is not definable. Finally, we discuss what happens in the more general context of -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