On complex exponentiation restricted to the integers

&
Journal of Symbolic Logic 75 (3):955-970 (2010)
  Copy   BIBTEX

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, +, ·)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1278682210

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quadratic Axioms.Harvey M. Friedman - unknown
The Set of Restricted Complex Exponents for Expansions of the Reals.Michael A. Tychonievich - 2012 - Notre Dame Journal of Formal Logic 53 (2):175-186.
Dedekind's 1871 version of the theory of ideals.Jeremy Avigad - manuscript
Bi-Coloured Fields on the Complex Numbers.B. Zilber - 2004 - Journal of Symbolic Logic 69 (4):1171 - 1186.
The theory of integer multiplication with order restricted to primes is decidable.Françoise Maurin - 1997 - Journal of Symbolic Logic 62 (1):123-130.
The number of certain integral polynomials and nonrecursive sets of integers, part.Harvey Friedman - manuscript
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility.Denis Richard - 1985 - Journal of Symbolic Logic 50 (4):927-935.
Lecture notes on enormous integers.Harvey Friedman - manuscript
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers.Denis Richard - 1989 - Journal of Symbolic Logic 54 (4):1253-1287.
Probability, Hyperreals, Asymptotic Density, and God’s Lottery.Jeremy Gwiazda - unknown
The train paradox.Jeremy Gwiazda - 2006 - Philosophia 34 (4):437-438.
Defining integers.Alexandra Shlapentokh - 2011 - Bulletin of Symbolic Logic 17 (2):230-251.

Analytics

Added to PP
2010-09-12

Downloads
37 (#420,900)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Stable theories with a new predicate.Enrique Casanovas & Martin Ziegler - 2001 - Journal of Symbolic Logic 66 (3):1127-1140.
Stable Theories with a New Predicate.Enrique Casanovas & Martin Ziegler - 2001 - Journal of Symbolic Logic 66 (3):1127-1140.
Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.

Add more references