The importance of π⁰₁ classes in effective randomness
Barmapalias, George; Lewis-Pye, Andrew; and Meng Ng, Keng
(2010)
The importance of π⁰₁ classes in effective randomness
Journal of Symbolic Logic, 75 (1).
pp. 387-400.
ISSN 0022-4812
We prove a number of results in effective randomness, using methods in which π⁰₁ classes play an essential role. The results proved include the fact that every PA Turing degree is the join of two random Turing degrees, and the existence of a minimal pair of LR degrees below the LR degree of the halting problem.
| Item Type | Article |
|---|---|
| Copyright holders | © 2010 Association for Symbolic Logic |
| Departments | Mathematics |
| DOI | 10.2178/jsl/1264433928 |
| Date Deposited | 06 Aug 2013 11:33 |
| URI | https://researchonline.lse.ac.uk/id/eprint/51449 |
Explore Further
- http://www.aslonline.org/journals-journal.html (Official URL)