Integer-valued definable functions in R_an ,

DOI10.1142/S1793042121500597MaRDI QIDQ3382983zbMATH OpenOpenAlexFDO

Authors

Publication date 23 September 2021

Published in International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.08852

zbMATH Keywords

integer-valued functionso-minimal structures

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory (number-theoretic aspects) (11U09)

Abstract: We give two variations on a result of Wilkie's on unary functions defianble in $mathbb{R}_{an,exp}$ that take integer values at positive integers. Provided that the functions grows slower than the function $2^x$, Wilkie showed that is must be eventually equal to a polynomial. We show the same conclusion under a stronger growth condition but only assuming that the function takes values sufficiently close to a integers at positive integers. In a different variation we show that it suffices to assume that the function takes integer values on a sufficiently dense subset of the positive integers(for instance primes), again under a stronger growth bound than that in Wilkie's result.

Recommendations

• Integer-valued definable functions
• On the real exponential field with restricted analytic functions
• Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application
• Wilkie's conjecture for restricted elementary functions
• Undefinability results in o-minimal expansions of the real numbers

Cites work

• An auxiliary result in the theory of transcendental numbers
• Auxiliary polynomials in number theory
• Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application
• Dépendance linéaire de fonctions arithmétiques et presque arithmétiques (Linear dependence of arithmetical and almost arithmetical functions)
• scientific article; zbMATH DE number 42767 (Why is no real title available?)
• Integer-valued analytic functions in a half-plane
• Integer-valued definable functions
• On the real exponential field with restricted analytic functions
• Optimization for lattices and Diophantine approximations
• Pólya's theorem by Schneider's method
• The density of algebraic points on certain Pfaffian surfaces

Cited in

(6)

• UPC condition in polynomially bounded o-minimal structures
• Integer-valued definable functions
• Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application
• On a class of integer-valued functions
• Integer-valued O-minimal functions
• Integer-valued analytic functions in a half-plane

This page was built for publication: Integer-valued definable functions in \(\mathbb{R}_{\mathrm{an} , \exp} \)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3382983)