You are here: MIMS > EPrints
MIMS EPrints

2011.55: On the decidability of the real field with a generic power function

2011.55: Gareth Jones and Tamara Servi (2010) On the decidability of the real field with a generic power function. Journal of Symbolic Logic.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
194 Kb

Abstract

We show that the theory of the real eld with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We show the existence of generic computable real numbers, hence providing an example of a decidable o-minimal proper expansion of the real eld by an analytic function.

Item Type:Article
Additional Information:

This is a preprint version, and differs slightly from the version which will be published.

Uncontrolled Keywords:real power functions; decidability; o-minimality.
Subjects:MSC 2000 > 03 Mathematical logic and foundations
MIMS number:2011.55
Deposited By:Gareth Jones
Deposited On:04 July 2011

Download Statistics: last 4 weeks
Repository Staff Only: edit this item