Journal of Symbolic Logic

Definable sets in Boolean ordered o-minimal structures. II

Roman Wencel

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

Let $(M,\leq,...)$ denote a Boolean ordered o-minimal structure. We prove that a Boolean subalgebra of $M$ determined by an algebraically closed subset contains no dense atoms. We show that Boolean algebras with finitely many atoms do not admit proper expansions with o-minimal theory. The proof involves decomposition of any definable set into finitely many pairwise disjoint cells, i.e., definable sets of an especially simple nature. This leads to the conclusion that Boolean ordered structures with o-minimal theories are essentially bidefinable with Boolean algebras with finitely many atoms, expanded by naming constants. We also discuss the problem of existence of proper o-minimal expansions of Boolean algebras.

Article information

Source
J. Symbolic Logic, Volume 68, Issue 1 (2003), 35-51.

Dates
First available in Project Euclid: 21 February 2003

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1045861505

Digital Object Identifier
doi:10.2178/jsl/1045861505

Mathematical Reviews number (MathSciNet)
MR1959311

Zentralblatt MATH identifier
1043.03033

Citation

Wencel, Roman. Definable sets in Boolean ordered o-minimal structures. II. J. Symbolic Logic 68 (2003), no. 1, 35--51. doi:10.2178/jsl/1045861505. https://projecteuclid.org/euclid.jsl/1045861505


Export citation

References

  • J. F. Knight, A. Pillay, and C. Steinhorn Definable sets in ordered structures. II, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 593--605.
  • C. Laskowski and C. Steinhorn On o-minimal expansions of archimedean ordered groups, Journal of Symbolic Logic, vol. 60 (1995), pp. 817--831.
  • L. Newelski and R. Wencel Definable sets in Boolean ordered o-minimal structures. I, Journal of Symbolic Logic, vol. 66 (2001), pp. 1821--1836.
  • A. Pillay and C. Steinhorn Definable sets in ordered structures I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565--592.
  • C. Toffalori Lattice ordered o-minimal structures, Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 447--463.
  • R. Wencel Small theories of Boolean ordered o-minimal structures, Journal of Symbolic Logic, vol. 67 (2001), no. 4, pp. 1385--1390.