Translator Disclaimer
2006 A C.E. Real That Cannot Be SW-Computed by Any Ω Number
George Barmpalias, Andrew E. M. Lewis
Notre Dame J. Formal Logic 47(2): 197-209 (2006). DOI: 10.1305/ndjfl/1153858646

Abstract

The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky, and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c.e. reals and construct a c.e. real which has no random c.e. real (i.e., Ω number) sw-above it.

Citation

Download Citation

George Barmpalias. Andrew E. M. Lewis. "A C.E. Real That Cannot Be SW-Computed by Any Ω Number." Notre Dame J. Formal Logic 47 (2) 197 - 209, 2006. https://doi.org/10.1305/ndjfl/1153858646

Information

Published: 2006
First available in Project Euclid: 25 July 2006

zbMATH: 1113.03035
MathSciNet: MR2240619
Digital Object Identifier: 10.1305/ndjfl/1153858646

Subjects:
Primary: 03D80
Secondary: 03D15

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.47 • No. 2 • 2006
Back to Top