pith. sign in

arxiv: 1410.3589 · v1 · pith:4IMMSW6Nnew · submitted 2014-10-14 · 🧮 math.LO · math.AC

Definable types in algebraically closed valued fields

classification 🧮 math.LO math.AC
keywords definabletypesalgebraicallyclosedrealizedvaluedfieldsprec
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.