A tetrachotomy for expansions of the real ordered additive group

Selecta Mathematica - Tập 27 - Trang 1-36 - 2021
Philipp Hieronymi1, Erik Walsberg2
1Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, USA
2Department of Mathematics, University of California, Irvine, USA

Tóm tắt

Let $$\mathcal {R}$$ be an expansion of the ordered real additive group. When $$\mathcal {R}$$ is o-minimal, it is known that either $$\mathcal {R}$$ defines an ordered field isomorphic to $$(\mathbb {R},<,+,\cdot )$$ on some open subinterval $$I\subseteq \mathbb {R}$$ , or $$\mathcal {R}$$ is a reduct of an ordered vector space. We say $$\mathcal {R}$$ is field-type if it satisfies the former condition. In this paper, we prove a more general result for arbitrary expansions of $$(\mathbb {R},<,+)$$ . In particular, we show that for expansions that do not define dense $$\omega $$ -orders (we call these type A expansions), an appropriate version of Zilber’s principle holds. Among other things we conclude that in a type A expansion that is not field-type, every continuous definable function $$[0,1]^m \rightarrow \mathbb {R}^n$$ is locally affine outside a nowhere dense set.

Tài liệu tham khảo

Abu Zaid, F.: Algorithmic solutions via model theoretic interpretations. Ph.D. thesis, RWTH Aachen University (2016)

Abu Zaid, F., Grädel, E., Kaiser, L., Pakusa, W.: Model-theoretic properties of \(\omega \)-automatic structures. Theory Comput. Syst. 55(4), 856–880 (2014)

Anashin, V.S.: Quantization causes waves: smooth finitely computable functions are affine. P-Adic Num. Ultrametr. Anal. Appl. 7(3), 169–227 (2015)

Balderrama, W., Hieronymi, P.: Definability and decidability in expansions by generalized Cantor sets. Preprint arXiv:1701.08426 (2017)

Banach, S.: Über die Baire’sche Kategorie gewisser Funktionenmengen. Stud. Math. 3(1), 174–179 (1931)

Gorman, A.B., Hieronymi, P., Kaplan, E., Meng, R., Walsberg, E., Wang, Z., Xiong, Z., Yang, H.: Continuous regular functions. Log. Methods Comput. Sci. 16(1), 17 (2020)

Boas Jr., R.P., Widder, D.V.: Functions with positive differences. Duke Math. J. 7, 496–503 (1940)

Boigelot, B., Bronne, L., Rassart, S.: An improved reachability analysis method for strongly linear hybrid systems (extended abstract). In: Grumberg, O. (ed.) Computer Aided Verification. Lecture Notes in Computer Science, vol. 1254, pp. 167–178. Springer, Berlin (1997)

Boigelot, B., Rassart, S., Wolper, P.: On the expressiveness of real and integer arithmetic automata (extended abstract). In Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP ’98, pp. 152–163. Springer-Verlag, London, UK (1998)

Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science (Proceedings of the 1960 International Congress), pp. 1–11. Stanford University Press, Stanford, CA (1962)

Charlier, É., Leroy, J., Rigo, M.: An analogue of Cobham’s theorem for graph directed iterated function systems. Adv. Math. 280, 86–120 (2015)

Delon, F.: \({ Q}\) muni de l’arithmétique faible de Penzin est décidable. Proc. Am. Math. Soc. 125(9), 2711–2717 (1997)

Dolich, A., Miller, C., Steinhorn, C.: Structures having o-minimal open core. Trans. Am. Math. Soc. 362(3), 1371–1411 (2010)

Van Den Dries, L.: The field of reals with a predicate for the powers of two. Manuscr. Math. 54(1–2), 187–195 (1985)

Elgot, C.C., Rabin, M.O.: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. J. Symb. Logic 31(2), 169–181 (1966)

Engelking, R.: Dimension theory. North-Holland Publishing Co., Amsterdam-Oxford-New York; PWN—Polish Scientific Publishers, Warsaw (1978). Translated from the Polish and revised by the author, North-Holland Mathematical Library, 19

Fornasiero, A.: Expansions of the reals which do not define the natural numbers. arXiv:1104.1699, unpublished note (2011)

Fornasiero, A., Hieronymi, P., Walsberg, E.: How to avoid a compact set. Adv. Math. 317, 758–785 (2017)

Friedman, H., Kurdyka, K., Miller, C., Speissegger, P.: Expansions of the real field by open sets: definability versus interpretability. J. Symb. Logic 75(4), 1311–1325 (2010)

Friedman, H., Miller, C.: Expansions of o-minimal structures by sparse sets. Fund. Math. 167(1), 55–64 (2001)

Grigoriev, A.: On o-minimality of extensions of \(\mathbb{R} \) by restricted generic smooth functions. arXiv:math/0506109 (2005)

Hieronymi, P.: Defining the set of integers in expansions of the real field by a closed discrete set. Proc. Am. Math. Soc. 138(6), 2163–2168 (2010)

Hieronymi, P.: Expansions of the ordered additive group of real numbers by two discrete subgroups. J. Symb. Logic 81(3), 1007–1027 (2016)

Hieronymi, P.: When is scalar multiplication decidable? Ann. Pure Appl. Logic 10, 1162–1175 (2019)

Hieronymi, P., Tychonievich, M.: Interpreting the projective hierarchy in expansions of the real line. Proc. Am. Math. Soc. 142(9), 3259–3267 (2014)

Hieronymi, P., Walsberg, E.: Interpreting the monadic second order theory of one successor in expansions of the real line. Isr. J. Math. 224(1), 39–55 (2018)

Hrushovski, E.: A new strongly minimal set. Ann. Pure Appl. Logic 62(2), 147–166 (1993)

Kawakami, T., Takeuchi, K., Tanaka, H., Tsuboi, A.: Locally o-minimal structures. J. Math. Soc. Jpn. 64(3), 783–797 (2012)

Kechris, A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156. Springer-Verlag, New York (1995)

Konečný, M.: Real functions computable by finite automata using affine representations. Theor. Comput. Sci. 284(2), 373–396 (2002). Computability and complexity in analysis (Castle Dagstuhl, 1999)

Laskowski, M.C., Steinhorn, C.: On o-minimal expansions of Archimedean ordered groups. J. Symb. Logic 60(3), 817–831 (1995)

Le Gal, O.: A generic condition implying o-minimality for restricted \(C^\infty \)-functions. Ann. Fac. Sci. Toulouse Math. (6) 19(3–4), 479–492 (2010)

Loveys, J., Peterzil, Y.: Linear o-minimal structures. Isr. J. Math. 81(1–2), 1–30 (1993)

Marker, D., Peterzil, Y., Pillay, A.: Additive reducts of real closed fields. J. Symb. Logic 57(1), 109–117 (1992)

Miller, C., Speissegger, P.: Expansions of the real line by open sets: o-minimality and open cores. Fund. Math. 162(3), 193–208 (1999)

Muller, J.-M.: Some characterizations of functions computable in on-line arithmetic. IEEE Trans. Comput. 43(6), 752–755 (1994)

Peterzil, Y., Starchenko, S.: A trichotomy theorem for o-minimal structures. Proc. Lond. Math. Soc. (3) 77(3), 481–523 (1998)

Pillay, A., Scowcroft, P., Steinhorn, C.: Between groups and rings. Rocky Mt. J. Math. 19(3), 871–885 (1989). Quadratic forms and real algebraic geometry (Corvallis, OR, 1986)

Rolin, J.-P., Speissegger, P., Wilkie, A.J.: Quasianalytic Denjoy-Carleman classes and o-minimality. J. Am. Math. Soc. 16(4), 751–777 (2003)

Simon, P.: A Guide to NIP Theories. Lecture Notes in Logic, vol. 44. Cambridge University Press, Cambridge (2015)

Zil’ber, B.: Strongly minimal countably categorical theories. ii. Sib. Math. J. 25(3), 396–412 (1984)

Thông tin
Thông tin xuất bản

Selecta Mathematica

Tập 27

1-36

Thông tin tác giả