Strong cell decomposition property in o-minimal traces. (English) Zbl 1481.03027
In [P. E. Eleftheriou et al., J. Symb. Log. 82, No. 4, 1482–1495 (2017; Zbl 1385.03041)] several aspects of non-valuational weakly o-minimal expansions of ordered groups are studied. The canonical example of such a structure is obtained by considering a dense pair \(\langle \mathcal M, \mathcal N\rangle\) of o-minimal expansions of groups and considering the structure induced on the smaller model, \(\mathcal M\). Such a structure is dubbed an o-minimal trace. Eleftheriou et. al. [loc. cit.] show, among others, that o-minimal traces expanding a group do not admit definable Skolem functions.
In the paper under review, it is shown that several of the results of Eleftheriou et. al. on o-minimal traces can be obtained without the underlying group structure. In particular, o-minimal traces have the strong cell decomposition (Corollary 3.5), the notion of an irrational non-valuational cut is extended to this context (Definition 3.7) and it is shown that any expansion of an o-minimal structure by irrational non-valuational cuts is an o-minimal trace (Theorem 3.14). The paper concludes by showing, that – unlike the above mentioned result of Eleftheriou et. al. [loc. cit.] – any expansion of DLO by convex sets is an o-minimal trace with definable Skolem fubctions.
In the paper under review, it is shown that several of the results of Eleftheriou et. al. on o-minimal traces can be obtained without the underlying group structure. In particular, o-minimal traces have the strong cell decomposition (Corollary 3.5), the notion of an irrational non-valuational cut is extended to this context (Definition 3.7) and it is shown that any expansion of an o-minimal structure by irrational non-valuational cuts is an o-minimal trace (Theorem 3.14). The paper concludes by showing, that – unlike the above mentioned result of Eleftheriou et. al. [loc. cit.] – any expansion of DLO by convex sets is an o-minimal trace with definable Skolem fubctions.
Reviewer: Assaf Hasson (Be’er Sheva)
MSC:
03C64 | Model theory of ordered structures; o-minimality |
03C50 | Models with special properties (saturated, rigid, etc.) |
Keywords:
weakly o-minimal structures; definable Skolem functions; non-valuational structures; o-minimal tracesCitations:
Zbl 1385.03041References:
[1] | Baizhanov, BS, Expansion of a model of weakly o-minimal theory by family of unary predicates, J. Symb. Logic, 63, 570-578 (1998) · Zbl 0910.03025 · doi:10.2307/2586850 |
[2] | Berenstein, A.; Vassiliev, E., On lovely pairs of geometric structures, Ann. Pure Appl. Logic, 161, 866-878 (2010) · Zbl 1227.03044 · doi:10.1016/j.apal.2009.10.004 |
[3] | Dickmann, MA, Elimination of quantifiers for ordered valuation rings, J. Symb. Logic, 52, 116-128 (1987) · Zbl 0624.03025 · doi:10.2307/2273866 |
[4] | Eivazloo, JS; Tari, S., Tame properties of sets and functions definable in weakly o-minimal structures, Arch. Math. logic, 53, 433-447 (2014) · Zbl 1325.03039 · doi:10.1007/s00153-014-0372-0 |
[5] | Eleftheriou, PE; Hasson, A.; Keren, G., On definable Skolem functions in weakly o-minimal nonvalutional structures, J. Symb. Logic, 82, 1482-1495 (2017) · Zbl 1385.03041 · doi:10.1017/jsl.2017.28 |
[6] | Hasson, A.; Onshuus, A., Embeded o-minimal structures, Bull. London Math. Soc, 42, 64-74 (2010) · Zbl 1187.03034 · doi:10.1112/blms/bdp098 |
[7] | Knight, J.; Pillay, A.; Steinhorn, C., Definable sets in ordered structures. II, Trans. Am. Math. Soc, 295, 593-605 (1986) · Zbl 0662.03024 · doi:10.1090/S0002-9947-1986-0833698-1 |
[8] | Macpherson, D.; Marker, D.; Steinhorn, C., Weakly o-minimal structures and real closed fields, Trans. Am. Math. Soc, 352, 5435-5483 (2000) · Zbl 0982.03021 · doi:10.1090/S0002-9947-00-02633-7 |
[9] | Pillay, A.; Steinhorn, C., Definable sets in ordered structures. I, Trans. Am. Math. Soc, 295, 565-592 (1986) · Zbl 0662.03023 · doi:10.1090/S0002-9947-1986-0833697-X |
[10] | Pillay, A.; Steinhorn, C., Definable sets in ordered structures. III, Trans. Am. Math. Soc, 309, 469-476 (1988) · Zbl 0707.03024 · doi:10.1090/S0002-9947-1988-0943306-9 |
[11] | Tari, S., A note on prime models in weakly o-minimal structures, MLQ, 63, 109-113 (2017) · Zbl 1469.03110 · doi:10.1002/malq.201600029 |
[12] | van den Dries, L., Dense pairs of o-minimal structures, Fund. Math., 157, 61-78 (1998) · Zbl 0906.03036 · doi:10.4064/fm-157-1-61-78 |
[13] | van den Dries, L., Tame Topology and o-Minimal Structures (1998), Cambridge: Cambridge University Press, Cambridge · Zbl 0953.03045 · doi:10.1017/CBO9780511525919 |
[14] | Wencel, R., On the strong cell decomposition property for weakly o-minimal structures, MLQ, 59, 379-493 (2013) · Zbl 1325.03041 · doi:10.1002/malq.201200016 |
[15] | Wencel, R., Topological properties of sets definable in weakly O-minimal structures, J. Symb. Logic, 75, 841-867 (2010) · Zbl 1200.03023 · doi:10.2178/jsl/1278682203 |
[16] | Wencel, R., Weakly o-minimal non-valuational structures, Ann. Pure Appl. Logic, 154, 139-162 (2008) · Zbl 1146.03027 · doi:10.1016/j.apal.2008.01.009 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.