## Journal of Symbolic Logic

### On Dedekind Complete O-Minimal Structures

#### Abstract

For a countable complete $o$-minimal theory $\mathbf{T}$, we introduce the notion of a sequentially complete model of $\mathbf{T}$. We show that a model $\mathscr{M}$ of $\mathbf{T}$ is sequentially complete if and only if $\mathscr{M} \prec \mathscr{N}$ for some Dedekind complete model $\mathscr{N}$. We also prove that if $\mathbf{T}$ has a Dedekind complete model of power greater than $2^{\aleph_0}$, then $\mathbf{T}$ has Dedekind complete models of arbitrarily large powers. Lastly, we show that a dyadic theory--namely, a theory relative to which every formula is equivalent to a Boolean combination of formulas in two variables--that has some Dedekind complete model has Dedekind complete models in arbitrarily large powers.

#### Article information

Source
J. Symbolic Logic, Volume 52, Issue 1 (1987), 156-164.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183742318

Mathematical Reviews number (MathSciNet)
MR877863

Zentralblatt MATH identifier
0623.03038

JSTOR