MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 788
Preprint Number 788
788. Pablo Cubides-Kovacsics and Françoise Delon Definable types in algebraically closed valued fields E-mail: , Submission date: 14 OCtober 2014. 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, Mathematics Subject Classification: Primary 12J10, 03C60, 13L05, Secondary 03C98 Keywords and phrases: Algebraically closed valued fields, definable types |

Last updated: October 27 2014 20:51 | Please send your corrections to: |