Publications > Preprint server > Preprint Number 1619
Preprint Number 1619
1619. Pablo Cubides Kovacsics and Jinhe Ye Tame pairs, Definable types and Pro-definability E-mail: Submission date: 27 May 2019 Abstract: We show (strict) pro-definability of spaces of definable types in various
classical first order theories, including o-minimal expansions of divisible
abelian groups, Presburger arithmetic, p-adically closed fields, real
closed
and algebraically closed valued fields and closed ordered differential
fields. Mathematics Subject Classification: Primary 12L12, Secondary 03C64, 12J25 Keywords and phrases: |
Last updated: March 23 2021 09:21 | Please send your corrections to: |