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|
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.
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|
|Deposited By:||Gareth Jones|
|Deposited On:||04 July 2011|