Elsevier

Annals of Pure and Applied Logic

Volume 87, Issue 2, 15 September 1997, Pages 117-144
Annals of Pure and Applied Logic

Π10 classes and minimal degrees

https://doi.org/10.1016/S0168-0072(96)00029-2Get rights and content
Under a Creative Commons license
open archive

Abstract

Theorem. There is a non-empty Π10 class of reals, each of which computes a real of minimal (Turing) degree. Corollary. WKL ⊢ “there is a minimal Turing degree”. This answers a question of H. Friedman and S. Simpson.

Cited by (0)

1

During the preparation of this paper, Groszek was partially supported by NSF Grant DMS-9208408.

2

During the preparation of this paper, Slaman was partially supported by NSF Grant DMS-9500878.