Abstract
Let \({\mathcal {R}}\) be a polynomially bounded o-minimal expansion of the real field. Let f(z) be a transcendental entire function of finite order \(\rho \) and type \(\sigma \in [0,\infty ]\). The main purpose of this paper is to show that if (\(\rho <1\)) or (\(\rho =1\) and \(\sigma =0\)), the restriction of f(z) to the real axis is not definable in \({\mathcal {R}}\). Furthermore, we give a generalization of this result for any \(\rho \in [0,\infty )\).
Similar content being viewed by others
References
van den Dries, L., Speissegger, P.: The field of reals with multisummable series the exponential function. Proc. Lond. Math. Soc. 81, 513–565 (2000)
van den Dries, L., Speissegger, P.: The real field with convergent generalized power series. Trans. Am. Math. Soc. 350, 4377–4421 (1998)
Miller, C.: Exponentiation is hard to avoid. Proc. Amer. Math. Soc. 122, 257–259 (1994)
Miller, C.: Infinitly differentiable in polynomially bounded o-minimal structures. Proc. Am. Math. Soc. 123, 2551–2555 (1995)
Levin, Ya.: Lectures on entire functions, vol. 150. American Mathematical Soc, Rhode Island (1996)
Rolin, J.-P., Speissegger, P., Wilkie, A.J.: Quasianalytic Denjoy-Carleman classes and o-minimality. J. Am. Math. Soc. 16, 751–777 (2003)
Sfouli, H.: Some nondefinability results with entire functions in a polynomially bounded o-minimal structure. Arch. Math. Logic 59, 733–741 (2020)
Author information
Authors and Affiliations
Contributions
Hassan Sfouli wrote the main manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Sfouli, H. Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures. Arch. Math. Logic 63, 491–498 (2024). https://doi.org/10.1007/s00153-024-00904-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-024-00904-x