Hostname: page-component-65b85459fc-k6zl8 Total loading time: 0 Render date: 2025-10-19T01:29:35.186Z Has data issue: false hasContentIssue false
  • English
  • Français

DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NON-VALUATIONAL EXPANSIONS OF ORDERED GROUPS

Part of: Model theory

Published online by Cambridge University Press:  26 August 2025

SOMAYYEH TARI  and
MOHSEN KHANI
SOMAYYEH TARI*
Affiliation:
DEPARTMENT OF MATHEMATICS AZARBAIJAN SHAHID MADANI UNIVERSITY TABRIZ 5375171379, IRAN
MOHSEN KHANI
Affiliation:
DEPARTMENT OF MATHEMATICAL SCIENCES ISFAHAN UNIVERSITY OF TECHNOLOGY ISFAHAN 84156-83111, IRAN E-mail: mohsen.khani@iut.ac.ir
*
E-mail: s_tari@azaruniv.ac.ir
Get access Rights & Permissions [Opens in a new window]

Abstract

Let $\mathcal {M}=(M,<,+, \dots )$ be a weakly o-minimal non-valuational structure expanding an ordered group. We show that the full first-order theory $\operatorname {\mathrm {Th}}(\mathcal {M})$ has definable Skolem functions if and only if isolated types in $S_{n}^{\mathcal M}(A)$ are dense for each $ A\subseteq M $ and $ n\in \mathbb {N} $. Using this, we prove that no strictly weakly o-minimal non-valuational expansion of an ordered group has definable Skolem functions, thereby answering Conjecture 1.7 of Eleftheriou et al. (On definable Skolem functions in weakly o-minimal non-valuational structures. J. Symb. Logic, vol. 82 (2017), no. 4).

Keywords

weakly o-minimal structuredefinable Skolem functionnon-valuational cuts

MSC classification

Primary: 03C64: Model theory of ordered structures; o-minimality

Information

Type
Article
Information
The Journal of Symbolic Logic , First View , pp. 1 - 11
Check for updates
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Baisalov, Y. and Poizat, B., Paires de structures o-minimales . The Journal of Symbolic Logic , vol. 63 (1998), pp. 570–578.10.2307/2586850CrossRefGoogle Scholar
Berenstein, A. and Vassiliev, E., On lovely pairs of geometric structures . Annals of Pure and Applied Logic , vol. 161 (2010), pp. 866–878.10.1016/j.apal.2009.10.004CrossRefGoogle Scholar
Dickmann, M. A., Elimination of quantifiers for ordered valuation rings . The Journal of Symbolic Logic , vol. 52 (1987), pp. 116–128.10.2307/2273866CrossRefGoogle Scholar
van den Dries, L., Dense pairs of o-minimal structures . Fundamenta Mathematicae , vol. 157 (1998), pp. 61–78.10.4064/fm-157-1-61-78CrossRefGoogle Scholar
van den Dries, L., Tame Topology and O-Minimal Structures , London Mathematical Society Lecture Notes Series, 248, Cambridge University Press, Cambridge, 1998.10.1017/CBO9780511525919CrossRefGoogle Scholar
Ealy, C. F. and Maříková, J., Quantifier elimination for o-minimal structures expanded by a valuational cut . Annals of Pure and Applied Logic , vol. 174 (2020), p. 103206.10.1016/j.apal.2022.103206CrossRefGoogle Scholar
Eleftheriou, P., Hasson, A., and Keren, G., On definable skolem functions in weakly o-minimal non-valuational structures . The Journal of Symbolic Logic , vol. 295 (2017), pp. 1482–1495.10.1017/jsl.2017.28CrossRefGoogle Scholar
Knight, J., Pillay, A., and Steinhorn, C., Definable sets in ordered structures II . Transactions of the American Mathematical Society , vol. 295 (1986), pp. 593–605.10.1090/S0002-9947-1986-0833698-1CrossRefGoogle Scholar
Kulpeshov, B. Sh., Weakly o-minimal structures and some of their properties . The Journal of Symbolic Logic , vol. 63 (1998), pp. 1511–1528.10.2307/2586664CrossRefGoogle Scholar
Laskowski, M. C. and Shaw, C. S., Definable choice for a class of weakly o-minimal theories . Archive for Mathematical Logic , vol. 55 (2015), pp. 735–748.10.1007/s00153-016-0490-yCrossRefGoogle Scholar
Macpherson, D., Marker, D., and Steinhorn, C., Weakly o-minimal structures and real closed fields . Transactions of the American Mathematical Society , vol. 352 (2000), pp. 5435–5483.10.1090/S0002-9947-00-02633-7CrossRefGoogle Scholar
Marker, D., Model Theory: An Introduction , Graduate Texts in Mathematics, 217, Springer-Verlag, New York, 2002.Google Scholar
Pillay, A. and Steinhorn, C., Definable sets in ordered structures I . Transactions of the American Mathematical Society , vol. 295 (1986), pp. 565–592.10.1090/S0002-9947-1986-0833697-XCrossRefGoogle Scholar
Pillay, A. and Steinhorn, C., Definable sets in ordered structures III . Transactions of the American Mathematical Society , vol. 309 (1988), pp. 469–476.10.1090/S0002-9947-1988-0943306-9CrossRefGoogle Scholar
Tari, S., Strong cell decomposition property in o-minimal traces . Archive for Mathematical Logic , vol. 60 (2020), pp. 135–144.10.1007/s00153-020-00739-2CrossRefGoogle Scholar
Wencel, R., Weakly o-minimal non-valuational structures . Annals of Pure and Applied Logic , vol. 154 (2008), pp. 139–162.10.1016/j.apal.2008.01.009CrossRefGoogle Scholar
Wencel, R., On expansions of weakly o-minimal non-valuational structures by convex predicates . Fundamenta Mathematicae , vol. 202 (2009), pp. 147–159.10.4064/fm202-2-3CrossRefGoogle Scholar
Wencel, R., Topological properties of sets definable in weakly o-minimal structures . The Journal of Symbolic Logic , vol. 75 (2010), pp. 841–867.10.2178/jsl/1278682203CrossRefGoogle Scholar
Wencel, R., On the strong cell decomposition property for weakly o-minimal structures . Mathematical Logic Quarterly , vol. 59 (2013), pp. 379–493.10.1002/malq.201200016CrossRefGoogle Scholar