Small theories of Boolean ordered o-minimal structures

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,069

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

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.

Analytics

Added to PP
2009-01-28

Downloads
221 (#85,508)

6 months
6 (#252,172)

Historical graph of downloads
How can I increase my downloads?

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

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