Abstract
Let \({\mathcal {M}}=(M,<,+,\cdot ,\ldots )\) be a non-valuational weakly o-minimal expansion of a real closed field \((M,<,+,\cdot )\). In this paper, we prove that \({\mathcal {M}}\) has a \(C^r\)-strong cell decomposition property, for each positive integer r, a best analogous result from Tanaka and Kawakami (Far East J Math Sci (FJMS) 25(3):417–431, 2007). We also show that curve selection property holds in non-valuational weakly o-minimal expansions of ordered groups. Finally, we extend the notion of definable compactness suitable for weakly o-minimal structures which was examined for definable sets (Peterzil and Steinhorn in J Lond Math Soc 295:769–786, 1999), and prove that a definable set is definably compact if and only if it is closed and bounded.
Similar content being viewed by others
References
Dickmann, M.A.: Elimination of quantifiers for ordered valuation rings. J. Symb. Log. 52, 116–128 (1987)
van den Dries, L.: Tame topology and o-minimal structures. In: London Mathematical Society Lecture Notes Series, p. 248. Cambridge University Press, Cambridge (1998)
Knight, J.F., 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)
Peterzil, Y., Steinhorn, C.: Definable compactness and definable subgroups of o-minimal groups. J. Lond. Math. Soc. 295, 769–786 (1999)
Pillay, A., Steinhorn, C.: Definable sets in ordered structures I. Trans. Am. Math. Soc 295, 565–592 (1986)
Tanaka, H., Kawakami, T.: \(C^r\) strong cell decomposition in non-valutional weakly o-minimal real closed fields. Far East J. Math. Sci. (FJMS) 25(3), 417–431 (2007)
Wencel, R.: Weakly o-minimal non-valuational structures. Ann. Pure Appl. Log. 154, 139–162 (2008)
Wencel, R.: On expansions of weakly o-minimal non-valuational structures by convex predicates. Fund. Math. 202, 147–159 (2009)
Wencel, R.: On the strong cell decomposition property for weakly o-minimal structures. Math. Log. Q. 59, 379–493 (2013)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tari, S. Some definable properties of sets in non-valuational weakly o-minimal structures. Arch. Math. Logic 56, 309–317 (2017). https://doi.org/10.1007/s00153-017-0523-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0523-1