Jones, Gareth and Servi, Tamara (2010) On the decidability of the real field with a generic power function. Journal of Symbolic Logic. (In Press)
![[thumbnail of JonesServi.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
JonesServi.pdf Download (197kB) |
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 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations |
| Depositing User: | Gareth Jones |
| Date Deposited: | 04 Jul 2011 |
| Last Modified: | 20 Oct 2017 14:12 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/1643 |
Actions (login required)
 |
View Item |