On the Boolean algebras of definable sets in weakly o‐minimal theories

Mathematical Logic Quarterly 50 (3):241-248 (2004)
  Copy   BIBTEX


We consider the sets definable in the countable models of a weakly o-minimal theory T of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic , in other words when each of these definable sets admits, if infinite, an infinite coinfinite definable subset. We show that this is true if and only if T has no infinite definable discrete subset. We examine the same problem among arbitrary theories of mere linear orders. Finally we prove that, within expansions of Boolean lattices, every weakly o-minimal theory is p-ω-categorical



    Upload a copy of this work     Papers currently archived: 94,698

External links

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

Through your library


Added to PP

50 (#315,679)

6 months
15 (#235,985)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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.
p-ℵ0-Categorical Lattice-Ordered Structures.Carlo Toffalori - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):23-28.
On pseudo -n0-categorical theories.Annalisa Marcja & Carlo Toffalori - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (35):533-540.
The Boolean spectrum of an $o$-minimal theory.Charles Steinhorn & Carlo Toffalori - 1989 - Notre Dame Journal of Formal Logic 30 (2):197-206.

View all 8 references / Add more references