Journal of Symbolic Logic 76 (4):1418-1428 (2011)

Authors
Gareth Jones
Oxford Brookes University
Abstract
We show that the theory of the real field with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We also show the existence of generic computable real numbers, hence providing an example of a decidable o-minimal proper expansion of the real field by an analytic function
Keywords real power functions   decidability   o-minimality
Categories (categorize this paper)
DOI 10.2178/jsl/1318338857
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,677
Through your library

References found in this work BETA

A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
Expansions of the Real Field with Power Functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Recursive in a Generic Real.Juichi Shinoda & Theodore A. Slaman - 2000 - Journal of Symbolic Logic 65 (1):164-172.
Defining Transcendentals in Function Fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
The Field of LE-Series with a Nonstandard Analytic Structure.Ali Bleybel - 2011 - Notre Dame Journal of Formal Logic 52 (3):255-265.
Every Real Closed Field has an Integer Part.M. H. Mourgues & J. P. Ressayre - 1993 - Journal of Symbolic Logic 58 (2):641-647.
Groundwork for Weak Analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.

Analytics

Added to PP index
2011-10-12

Total views
31 ( #341,626 of 2,432,206 )

Recent downloads (6 months)
2 ( #295,806 of 2,432,206 )

How can I increase my downloads?

Downloads

My notes