Small theories of Boolean ordered o-minimal structures

Journal of Symbolic Logic 67 (4):1385-1390 (2002)

Abstract

We investigate small theories of Boolean ordered o-minimal structures. We prove that such theories are $\aleph_{0}-categorical$ . We give a complete characterization of their models up to bi-interpretability of the language. We investigate types over finite sets, formulas and the notions of definable and algebraic closure

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,891

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
214 (#55,393)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Lattice Ordered O -Minimal Structures.Carlo Toffalori - 1998 - Notre Dame Journal of Formal Logic 39 (4):447-463.

Add more references

Citations of this work

Imaginaries in Boolean Algebras.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (3):217-235.
Weak Elimination of Imaginaries for Boolean Algebras.Roman Wencel - 2005 - Annals of Pure and Applied Logic 132 (2-3):247-270.

Add more citations

Similar books and articles

Some Two-Cardinal Results for o-Minimal Theories.Timothy Bays - 1998 - Journal of Symbolic Logic 63 (2):543-548.
Definable Sets in Boolean Ordered o-Minimal Structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Quasi-o-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
On Minimal Structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
Weakly o-Minimal Structures and Some of Their Properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.