Journal of Symbolic Logic

Definability of Types, and Pairs of O-Minimal Structures

Anand Pillay

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


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^\ast$ be $L$ together with a unary predicate $P$. Let $T^\ast$ be the $L^\ast$-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^\ast$ is complete and we give a simple set of axioms for $T^\ast$. We also show that for every $L^\ast$-formula $\phi(\mathbf{x})$ there is an $L$-formula $\psi(\mathbf{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 $\phi(\mathbf{x}, \mathbf{y})$ be an $L$-formula where $l(\mathbf{y}) = k$. Let $\mathbf{X} = \{X \subset M^k$: for some $\mathbf{a}$ in an elementary extension $N$ of $M, X = \phi (\mathbf{a,y}^N \cap M^k\}$. Then there is a formula $\psi(\mathbf{y}, \mathbf{z})$ of $L$ such that $\mathbf{X} = \{\psi (\mathbf{y, b})^M: \mathbf{b}$ in $M\}$.

Article information

J. Symbolic Logic, Volume 59, Issue 4 (1994), 1400-1409.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Pillay, Anand. Definability of Types, and Pairs of O-Minimal Structures. J. Symbolic Logic 59 (1994), no. 4, 1400--1409.

Export citation