Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-05-24T01:06:39.440Z Has data issue: false hasContentIssue false
  • English
  • Français

On complex exponentiation restricted to the integers

Published online by Cambridge University Press:  12 March 2014

Carlo Toffalori  and
Kathryn Vozoris
Carlo Toffalori
Affiliation:
Department of Mathematics and Computer Science, University of Camerino, Via Madonna Delle Carceri 9, 62032 Camerino, Italy. E-mail: carlo.toffalori@unicam.it
Kathryn Vozoris
Affiliation:
Department of Mathematics and Computer Science, University of Camerino, Via Madonna Delle Carceri 9, 62032 Camerino, Italy. E-mail: kathryn.vozoris@unicam.it
Get access Rights & Permissions [Opens in a new window]

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, +, −).

Keywords

Complex exponentiationquasi minimalityTarski–Vaught test
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 75 , Issue 3 , September 2010 , pp. 955 - 970
Copyright
Copyright © Association for Symbolic Logic 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Casanovas, E. and Ziegler, M., Stable theories with a new predicate, this Journal, vol. 66 (2001), pp. 1127–1140.Google Scholar
[2]Heidenreich, J., Stability theory modulo a predicate, Ph.D. thesis, University of Notre Dame, 2005.Google Scholar
[3]Hodges, W., A shorter model theory, Cambridge University Press, Cambridge, 1997.Google Scholar
[4]Kirby, J., The geometry of Schanuel's conjecture, unpublished notes (see Kirby's website).Google Scholar
[5]Marker, D., A remark on Zilber's pseudoexponentiation, this Journal, vol. 71 (2006), pp. 791–798.Google Scholar
[6]Vozoris, K., The complex field with a predicate for the integers, Ph.D. thesis, University of Illinois at Chicago, 2007.Google Scholar
[7]Wilkie, A., Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 (1996), pp. 1051–1094.CrossRefGoogle Scholar
[8]Zilber, B., Pseudo-exponentiation on algebraically closed fields of characteristic 0, Annals of Pure and Applied Logic, vol. 132 (2004), pp. 67–95.CrossRefGoogle Scholar