Definability of types, and pairs of o-minimal structures

Journal of Symbolic Logic 59 (4):1400-1409 (1994)
  Copy   BIBTEX


Let T be a complete O-minimal theory in a language L. We first give an elementary proof of the result (due to Marker and Steinhorn) that all types over Dedekind complete models of T are definable. Let L * be L together with a unary predicate P. Let T * be the L * -theory of all pairs (N, M), where M is a Dedekind complete model of T and N is an |M| + -saturated elementary extension of N (and M is the interpretation of P). Using the definability of types result, we show that T * is complete and we give a simple set of axioms for T * . We also show that for every L * -formula φ(x) there is an L-formula ψ(x) such that $T^\ast \models (\forall \mathbf{x})(P(\mathbf{x}) \rightarrow (\phi(\mathbf{x}) \mapsto \psi (\mathbf{x}))$ . This yields the following result: Let M be a Dedekind complete model of T. Let φ(x, y) be an L-formula where l(y) = k. Let $\mathbf{X} = \{X \subset M^k$ : for some a in an elementary extension N of M, X = φ (a,y N ∩ M k }. Then there is a formula ψ(y, z) of L such that X = {ψ (y, b) M : b in M}



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

T-convexity and Tame extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Pseudoprojective strongly minimal sets are locally projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
On Kueker Simple Theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216 - 222.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.


Added to PP

62 (#260,777)

6 months
23 (#120,104)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
A note on μ-stabilizers in ACVF.Jinhe Ye - 2023 - Annals of Pure and Applied Logic 174 (3):103210.

Add more citations

References found in this work

No references found.

Add more references