The importance of π⁰₁ classes in effective randomness

Barmapalias, G., Lewis-Pye, A. & Meng Ng, K. (2010). The importance of π⁰₁ classes in effective randomness. Journal of Symbolic Logic, 75(1), 387-400. https://doi.org/10.2178/jsl/1264433928
Copy

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.

Full text not available from this repository.

Export as

EndNote BibTeX Reference Manager Refer Atom Dublin Core JSON Multiline CSV
Export