Definable types in o-minimal theories
Journal of Symbolic Logic 59 (1):185-198 (1994)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2275260
My notes
Similar books and articles
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.
On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Analytics
Added to PP
2009-01-28
Downloads
22 (#522,731)
6 months
1 (#454,876)
2009-01-28
Downloads
22 (#522,731)
6 months
1 (#454,876)
Historical graph of downloads
Citations of this work
Topological dynamics for groups definable in real closed field.Ningyuan Yao & Dongyang Long - 2015 - Annals of Pure and Applied Logic 166 (3):261-273.
On linearly ordered structures of finite rank.Alf Onshuus & Charles Steinhorn - 2009 - Journal of Mathematical Logic 9 (2):201-239.
Definable types in algebraically closed valued fields.Pablo Cubides Kovacsics & Françoise Delon - 2016 - Mathematical Logic Quarterly 62 (1-2):35-45.
Definability of types and VC density in differential topological fields.Françoise Point - 2018 - Archive for Mathematical Logic 57 (7-8):809-828.
Quantifier elimination for o-minimal structures expanded by a valuational cut.Clifton F. Ealy & Jana Maříková - 2023 - Annals of Pure and Applied Logic 174 (2):103206.
References found in this work
Discrete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Annals of Pure and Applied Logic 34 (3):275-289.
