SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures

Notre Dame Journal of Formal Logic 57 (3):399-410 (2016)
  Copy   BIBTEX

Abstract

Continuous extension cell decomposition in o-minimal structures was introduced by Simon Andrews to establish the open cell property in those structures. Here, we define strong $\mathrm{CE}$-cells in weakly o-minimal structures, and prove that every weakly o-minimal structure with strong cell decomposition has $\mathrm{SCE}$-cell decomposition if and only if its canonical o-minimal extension has $\mathrm{CE}$-cell decomposition. Then, we show that every weakly o-minimal structure with $\mathrm{SCE}$-cell decomposition satisfies $\mathrm{OCP}$. Our last result implies that every o-minimal structure in which every definable open set is a union of finitely many open $\mathrm{CE}$-cells, has $\mathrm{CE}$-cell decomposition.

Links

PhilArchive



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

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

Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
Cell decomposition for P‐minimal fields.Marie-Hélène Mourgues - 2009 - Mathematical Logic Quarterly 55 (5):487-492.
Further notes on cell decomposition in closed ordered differential fields.Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):100-110.
An o-minimal structure without mild parameterization.Margaret Em Thomas - 2011 - Annals of Pure and Applied Logic 162 (6):409-418.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Cell decompositions of C-minimal structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
Weakly o-minimal structures and some of their properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
Cell decomposition for semibounded p-adic sets.Eva Leenknegt - 2013 - Archive for Mathematical Logic 52 (5-6):667-688.
A Note on Weakly O-Minimal Structures and Definable Completeness.Alfred Dolich - 2007 - Notre Dame Journal of Formal Logic 48 (2):281-292.
Weakly o-Minimal Expansions of Boolean Algebras.Carlo Toffalori & S. Leonesi - 2001 - Mathematical Logic Quarterly 47 (2):223-238.

Analytics

Added to PP
2016-04-20

Downloads
32 (#473,773)

6 months
5 (#544,079)

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

Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Coverings by open cells.Mário J. Edmundo, Pantelis E. Eleftheriou & Luca Prelli - 2014 - Archive for Mathematical Logic 53 (3-4):307-325.

Add more references