Abstract
Let \( {\mathcal {M}}=(M, <, \ldots ) \) be a weakly o-minimal structure. Assume that \( {\mathcal {D}}ef({\mathcal {M}})\) is the collection of all definable sets of \( {\mathcal {M}} \) and for any \( m\in {\mathbb {N}} \), \( {\mathcal {D}}ef_m({\mathcal {M}}) \) is the collection of all definable subsets of \( M^m \) in \( {\mathcal {M}} \). We show that the structure \( {\mathcal {M}} \) has the strong cell decomposition property if and only if there is an o-minimal structure \( {\mathcal {N}} \) such that \( {\mathcal {D}}ef({\mathcal {M}})=\{Y\cap M^m: \ m\in {\mathbb {N}}, Y\in {\mathcal {D}}ef_m({\mathcal {N}})\} \). Using this result, we prove that: (a) Every induced structure has the strong cell decomposition property. (b) The structure \( {\mathcal {M}} \) has the strong cell decomposition property if and only if the weakly o-minimal structure \( {\mathcal {M}}^*_M \) has the strong cell decomposition property. Also we examine some properties of non-valuational weakly o-minimal structures in the context of weakly o-minimal structures admitting the strong cell decomposition property.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Arefiev, R.D.: On the property of monotonicity for weakly o-minimal structures. In: Pinus, A.G., Ponomarev, K.N. (eds) Algebra and Model Theory II, Novosibrisk, Russia, 8-15 (1997)
Bar-Yehuda, E., Hasson, A., Peterzil, Y.: A theory of pairs for non-valuational structures. J. symbolic. logic 84, 664–683 (2019)
Berenstein, A., Vassiliev, E.: On lovely pairs of geometric structures. Ann. Pure Appl. Logic 161, 866–878 (2010)
Dickmann, M.A.: Elimination of quantifiers for ordered valuation rings. J. Symbolic Logic 52, 116–128 (1987)
Eivazloo, J.S., Tari, S.: Tame properties of sets and functions definable in weakly o-minimal structures. Arch. Math. logic 53, 433–447 (2014)
Hasson, A., Onshuus, A.: Embeded o-minimal structures. Bull. London Math. Soc 42, 64–74 (2010)
Keren, G.: Definable compactness in weakly o-minimal structures, Master’s thesis, Ben gurion university of the Negev, (2014)
Knight, J., Pillay, A., Steinhorn, C.: Definable sets in ordered structures. II , Trans. Am. Math. Soc 295, 593-605 (1986)
Macpherson, D., Marker, D., Steinhorn, C.: Weakly o-minimal structures and real closed fields. Trans. Am. Math. Soc 352, 5435–5483 (2000)
Pillay, A., Steinhorn, C.,: Definable sets in ordered structures. I, Trans. Am. Math. Soc 295, 565-592 (1986)
Pillay, A., Steinhorn, C.,: Definable sets in ordered structures. III, Trans. Am. Math. Soc 309, 469-476 (1988)
Tari, S.: The strong cell decomposition property in the o-minimal traces, Arch. Math. log60, 135-144 (2021)
van den Dries, L.: Dense pairs of o-minimal structures. Fund. Math 157, 61–78 (1998)
van den Dries, L.: Tame topology and o-Minimal structures. in:(London Mathematical Society Lecture Notes Series, vol. 248, Cambridge University Press, Cambridge (1998)
Wencel, R.: Weakly o-minimal non-valuational structures. Ann. Pure Appl. Logic 154, 139–162 (2008)
Wencel, R.: Topological Properties of sets Definable in Weakly O-minimal Structures. J. Symbolic Logic 75, 841–867 (2010)
Wencel, R.: On the strong cell decomposition property for weakly o-minimal structures. Math. Log. Quart 59, 379–493 (2013)
Acknowledgements
We thank the anonymous referee for his/her helpful commemts. This research was in part supported by a Grant from IPM (No. 1400030020)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Tari, S. A criterion for the strong cell decomposition property. Arch. Math. Logic 62, 871–887 (2023). https://doi.org/10.1007/s00153-023-00862-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-023-00862-w