On the decidability of the real exponential field

&
In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 441--467 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

  • This entry has no external links. Add one.
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

Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
On the decidability of the real field with a generic power function.Gareth Jones & Tamara Servi - 2011 - Journal of Symbolic Logic 76 (4):1418-1428.
Review: A. J. Wilkie, Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function. [REVIEW]Charles Steinhorn - 1999 - Journal of Symbolic Logic 64 (2):910-913.
The Field of LE-Series with a Nonstandard Analytic Structure.Ali Bleybel - 2011 - Notre Dame Journal of Formal Logic 52 (3):255-265.
Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2011 - Archive for Mathematical Logic 50 (7-8):681-695.
Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}).John Harding - 2013 - Journal of Philosophical Logic 42 (3):461-465.
Non-exponential Decay in Quantum Field Theory and in Quantum Mechanics: The Case of Two (or More) Decay Channels.Francesco Giacosa - 2012 - Foundations of Physics 42 (10):1262-1299.
On the structure of nonarchimedean exponential fields I.Salma Kuhlmann - 1995 - Archive for Mathematical Logic 34 (3):145-182.
Decidability of some problems pertaining to base 2 exponential diophantine equations.Hilbert Levitz - 1985 - Mathematical Logic Quarterly 31 (7‐8):109-115.
On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
XVIIème problème de Hilbert sur Les corps chaîne-clos.Françoise Delon & Danielle Gondard - 1991 - Journal of Symbolic Logic 56 (3):853-861.
Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function.Ricardo Bianconi - 1997 - Journal of Symbolic Logic 62 (4):1173-1178.
Comparison of exponential-logarithmic and logarithmic-exponential series.Salma Kuhlmann & Marcus Tressl - 2012 - Mathematical Logic Quarterly 58 (6):434-448.

Analytics

Added to PP
2014-01-28

Downloads
12 (#1,090,149)

6 months
1 (#1,478,781)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-order model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Ax–Schanuel for linear differential equations.Vahagn Aslanyan - 2018 - Archive for Mathematical Logic 57 (5-6):629-648.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references