There Is No SW-Complete C.E. Real
Journal of Symbolic Logic 69 (4):1163 - 1170 (2004)
| Authors | |
| Abstract |
We prove that there is no sw-complete c.e. real, negatively answering a question in [6]
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1102022216 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
Our Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 39,711
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Calibrating Randomness.Rod Downey, Denis R. Hirschfeldt, André Nies & Sebastiaan A. Terwijn - 2006 - Bulletin of Symbolic Logic 12 (3):411-491.
The ibT Degrees of Computably Enumerable Sets Are Not Dense.George Barmpalias & Andrew E. M. Lewis - 2006 - Annals of Pure and Applied Logic 141 (1-2):51-60.
The Computable Lipschitz Degrees of Computably Enumerable Sets Are Not Dense.Adam R. Day - 2010 - Annals of Pure and Applied Logic 161 (12):1588-1602.
Randomness and the Linear Degrees of Computability.Andrew Em Lewis & George Barmpalias - 2007 - Annals of Pure and Applied Logic 145 (3):252-257.
Maximal Pairs of C.E. Reals in the Computably Lipschitz Degrees.Yun Fan & Liang Yu - 2011 - Annals of Pure and Applied Logic 162 (5):357-366.
View all 7 citations / Add more citations
Similar books and articles
Scott Incomplete Boolean Ultrapowers of the Real Line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
Semicontinuous Representability of Homothetic Interval Orders by Means of Two Homogeneous Functionals.Gianni Bosi - 2002 - Theory and Decision 52 (4):303-312.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
The Modal Logic of Continuous Functions on the Rational Numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Wittgenstein and the Real Numbers.Daesuk Han - 2010 - History and Philosophy of Logic 31 (3):219-245.
A Complete Theory of Natural, Rational, and Real Numbers.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (3):185-196.
T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
Noetherian Varieties in Definably Complete Structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions.Hassan Sfouli - 2012 - Notre Dame Journal of Formal Logic 53 (1):67-77.
A Complete Axiom System for Polygonal Mereotopology of the Real Plane.Ian Pratt & Dominik Schoop - 1998 - Journal of Philosophical Logic 27 (6):621-658.
Randomness and Halting Probabilities.VeróNica Becher, Santiago Figueira, Serge Grigorieff & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (4):1411 - 1430.
Analytics
Added to PP index
2010-08-24
Total views
10 ( #660,385 of 2,328,402 )
Recent downloads (6 months)
2 ( #729,480 of 2,328,402 )
2010-08-24
Total views
10 ( #660,385 of 2,328,402 )
Recent downloads (6 months)
2 ( #729,480 of 2,328,402 )
How can I increase my downloads?
Downloads
