Definable sets in Boolean-ordered o-minimal structures. I
Journal of Symbolic Logic 66 (4):1821-1836 (2001)
| Abstract | We prove weak elimination of imaginary elements for Boolean orderings with finitely many atoms. As a consequence we obtain equivalence of the two notions of o-minimality for Boolean ordered structures, introduced by C. Toffalori. We investigate atoms in Boolean algebras induced by algebraically closed subsets of Boolean ordered structures. We prove uniqueness of prime models in strongly o-minimal theories of Boolean ordered structures | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMasanao Ozawa (1995). Scott Incomplete Boolean Ultrapowers of the Real Line. Journal of Symbolic Logic 60 (1):160-171.
B. Sh Kulpeshov (1998). Weakly o-Minimal Structures and Some of Their Properties. Journal of Symbolic Logic 63 (4):1511-1528.
Raf Cluckers (2003). Presburger Sets and P-Minimal Fields. Journal of Symbolic Logic 68 (1):153-162.
Douglas E. Ensley (1996). Automorphism-Invariant Measures on ℵ0-Categorical Structures Without the Independence Property. Journal of Symbolic Logic 61 (2):640 - 652.
Sławomir Bugajski (1983). Semantics in Banach Spaces. Studia Logica 42 (1):81 - 88.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Michael C. Laskowski & Charles Steinhorn (1995). On o-Minimal Expansions of Archimedean Ordered Groups. Journal of Symbolic Logic 60 (3):817-831.
Oleg Belegradek, Ya'Acov Peterzil & Frank Wagner (2000). Quasi-o-Minimal Structures. Journal of Symbolic Logic 65 (3):1115-1132.
Roman Wencel (2002). Small Theories of Boolean Ordered o-Minimal Structures. Journal of Symbolic Logic 67 (4):1385-1390.
Roman Wencel (2003). Definable Sets in Boolean Ordered o-Minimal Structures. II. Journal of Symbolic Logic 68 (1):35-51.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
