On Dedekind Complete O-Minimal Structures
Pillay, Anand ; Steinhorn, Charles
J. Symbolic Logic, Tome 52 (1987) no. 1, p. 156-164 / Harvested from Project Euclid
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.
Publié le : 1987-03-14
Classification: 
@article{1183742318,
     author = {Pillay, Anand and Steinhorn, Charles},
     title = {On Dedekind Complete O-Minimal Structures},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 156-164},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742318}
}
Pillay, Anand; Steinhorn, Charles. On Dedekind Complete O-Minimal Structures. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  156-164. http://gdmltest.u-ga.fr/item/1183742318/