- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the decidability of the real field with a generic power function
Journal of Symbolic Logic 76 (4):1418-1428 (2011)
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 functionAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Expansions of the real field with power functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
An effective version of Wilkie's theorem of the complement and some effective o-minimality results.Alessandro Berarducci & Tamara Servi - 2004 - Annals of Pure and Applied Logic 125 (1-3):43-74.
Some nondefinability results with entire functions in a polynomially bounded o-minimal structure.Hassan Sfouli - 2020 - Archive for Mathematical Logic 59 (5-6):733-741.
Undefinability results in o-minimal expansions of the real numbers.Ricardo Bianconi - 2005 - Annals of Pure and Applied Logic 134 (1):43-51.
Analytic functions over a field of power series.Marie-Hélène Mourgues - 2002 - Archive for Mathematical Logic 41 (7):631-642.
Finitude simple et structures o-minimales (finiteness property implies o-minimality).Jean-Marie Lion - 2002 - Journal of Symbolic Logic 67 (4):1616-1622.
Some Results and Problems on Complex Germs with Definable Mittag–Leffler Stars.A. J. Wilkie - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):603-610.
Expanding the Reals by Continuous Functions Adds No Computational Power.Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller & Mariya I. Soskova - 2023 - Journal of Symbolic Logic 88 (3):1083-1102.
On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
A Banach–Mazur computable but not Markov computable function on the computable real numbers.Peter Hertling - 2005 - Annals of Pure and Applied Logic 132 (2-3):227-246.
Analytics
Added to PP
2011-10-12
Downloads
45 (#343,927)
6 months
13 (#278,079)
2011-10-12
Downloads
45 (#343,927)
6 months
13 (#278,079)
Historical graph of downloads
Author's Profile
References found in this work
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
On the decidability of the real exponential field.Angus Macintyre & Alex J. Wilkie - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 441--467.
Expansions of the real field with power functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo