Abstract
We provide a first order axiomatization of the expansion of the complex field by the exponential function restricted to the subring of integers modulo the first order theory of (Z, +, ·).
Citation
Carlo Toffalori. Kathryn Vozoris. "On complex exponentiation restricted to the integers." J. Symbolic Logic 75 (3) 955 - 970, September 2010. https://doi.org/10.2178/jsl/1278682210
Information