In this article, we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multivalued functions.” This generalizes known statements about weakly o-minimal, C-minimal, and P-minimal theories.
References
[1] Cubides-Kovacsics, P., L. Darnière, and E. Leenknegt, “Topological cell decomposition and dimension theory in $P$-minimal fields,” Journal of Symbolic Logic, vol. 82 (2017), pp. 347–58. 1387.03034 10.1017/jsl.2016.45[1] Cubides-Kovacsics, P., L. Darnière, and E. Leenknegt, “Topological cell decomposition and dimension theory in $P$-minimal fields,” Journal of Symbolic Logic, vol. 82 (2017), pp. 347–58. 1387.03034 10.1017/jsl.2016.45
[2] Dolich, A., J. Goodrick, and D. Lippel, “Dp-minimality: Basic facts and examples,” Notre Dame Journal of Formal Logic, vol. 52 (2011), pp. 267–88. 1258.03036 10.1215/00294527-1435456 euclid.ndjfl/1311875774[2] Dolich, A., J. Goodrick, and D. Lippel, “Dp-minimality: Basic facts and examples,” Notre Dame Journal of Formal Logic, vol. 52 (2011), pp. 267–88. 1258.03036 10.1215/00294527-1435456 euclid.ndjfl/1311875774
[3] Eleftheriou, P., A. Hasson, and G. Keren, “On definable Skolem functions in weakly o-minimal non-valuational structures,” Journal of Symbolic Logic, vol. 82 (2017), no. 4, 1482–1495. 1385.03041 10.1017/jsl.2017.28[3] Eleftheriou, P., A. Hasson, and G. Keren, “On definable Skolem functions in weakly o-minimal non-valuational structures,” Journal of Symbolic Logic, vol. 82 (2017), no. 4, 1482–1495. 1385.03041 10.1017/jsl.2017.28
[4] Goodrick, J., “A monotonicity theorem for dp-minimal densely ordered groups,” Journal of Symbolic Logic, vol. 75 (2010), pp. 221–38. 1184.03035 10.2178/jsl/1264433917 euclid.jsl/1264433917[4] Goodrick, J., “A monotonicity theorem for dp-minimal densely ordered groups,” Journal of Symbolic Logic, vol. 75 (2010), pp. 221–38. 1184.03035 10.2178/jsl/1264433917 euclid.jsl/1264433917
[5] Jahnke, F., P. Simon, and E. Walsberg, “Dp-minimal valued fields,” Journal of Symbolic Logic, vol. 82 (2017), pp. 151–165. 1385.03040 10.1017/jsl.2016.15[5] Jahnke, F., P. Simon, and E. Walsberg, “Dp-minimal valued fields,” Journal of Symbolic Logic, vol. 82 (2017), pp. 151–165. 1385.03040 10.1017/jsl.2016.15
[6] Johnson, W., “The canonical topology on dp-minimal fields,” to appear in Journal of Mathematical Logic (2018). 06996241 10.1142/S0219061318500071[6] Johnson, W., “The canonical topology on dp-minimal fields,” to appear in Journal of Mathematical Logic (2018). 06996241 10.1142/S0219061318500071
[7] Macpherson, D., D. Marker, and C. Steinhorn, “Weakly o-minimal structures and real closed fields,” Transactions of the American Mathematical Society, vol. 352 (2000), pp. 5435–83. 0982.03021 10.1090/S0002-9947-00-02633-7[7] Macpherson, D., D. Marker, and C. Steinhorn, “Weakly o-minimal structures and real closed fields,” Transactions of the American Mathematical Society, vol. 352 (2000), pp. 5435–83. 0982.03021 10.1090/S0002-9947-00-02633-7
[8] Simon, P., “On dp-minimal ordered structures,” Journal of Symbolic Logic, vol. 76 (2011), pp. 448–60. MR2830411 1220.03037 10.2178/jsl/1305810758 euclid.jsl/1305810758[8] Simon, P., “On dp-minimal ordered structures,” Journal of Symbolic Logic, vol. 76 (2011), pp. 448–60. MR2830411 1220.03037 10.2178/jsl/1305810758 euclid.jsl/1305810758
[9] Simon, P., “Dp-minimality: Invariant types and dp-rank,” Journal of Symbolic Logic, vol. 79 (2014), pp. 1025–45. 1353.03036 10.1017/jsl.2014.46[9] Simon, P., “Dp-minimality: Invariant types and dp-rank,” Journal of Symbolic Logic, vol. 79 (2014), pp. 1025–45. 1353.03036 10.1017/jsl.2014.46
[10] Simon, P., A Guide to NIP Theories, vol. 44 of Lecture Notes in Logic, Cambridge University Press, Cambridge, 2015. 1332.03001[10] Simon, P., A Guide to NIP Theories, vol. 44 of Lecture Notes in Logic, Cambridge University Press, Cambridge, 2015. 1332.03001