December 2011 On the decidability of the real field with a generic power function
Gareth Jones, Tamara Servi
J. Symbolic Logic 76(4): 1418-1428 (December 2011). DOI: 10.2178/jsl/1318338857

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.

Citation

Download Citation

Gareth Jones. Tamara Servi. "On the decidability of the real field with a generic power function." J. Symbolic Logic 76 (4) 1418 - 1428, December 2011. https://doi.org/10.2178/jsl/1318338857

Information

Published: December 2011
First available in Project Euclid: 11 October 2011

zbMATH: 1261.03123
MathSciNet: MR2895403
Digital Object Identifier: 10.2178/jsl/1318338857

Subjects:
Primary: 03B25 , 03C64

Keywords: decidability , O-minimality , real power functions

Rights: Copyright © 2011 Association for Symbolic Logic

JOURNAL ARTICLE
11 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.76 • No. 4 • December 2011
Back to Top