A basis result for Σ⁰₃ sets of reals with an application to minimal covers

Harrington, Leo A.; Kechris, Alexander S.

doi:10.1090/S0002-9939-1975-0398832-7

A basis result for $\Sigma \sp{0}\sb{3}$ sets of reals with an application to minimal covers

Authors: Leo A. Harrington and Alexander S. Kechris
Journal: Proc. Amer. Math. Soc. 53 (1975), 445-448
MSC: Primary 02K30; Secondary 02F30, 04A15
DOI: https://doi.org/10.1090/S0002-9939-1975-0398832-7
MathSciNet review: 0398832
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: It is shown that every $\Sigma _3^0$ set of reals which contains reals of arbitrarily high Turing degree in the hyperarithmetic hierarchy contains reals of every Turing degree above the degree of Kleene's $\mathcal{O}$ . As an application it is shown that every Turing degree above the Turing degree of Kleene's $\mathcal{O}$ is a minimal cover.

[1] Carl G. Jockusch Jr., An application of ∑⁰₄ determinacy to the degrees of unsolvability, J. Symbolic Logic 38 (1973), 293–294. MR 332459, https://doi.org/10.2307/2272064
[2] D. A. Martin, Two theorems on Turing determinacy, Mimeographed notes, June 1974.
[3] Donald A. Martin, The axiom of determinateness and reduction principles in the analytical hierarchy, Bull. Amer. Math. Soc. 74 (1968), 687–689. MR 227022, https://doi.org/10.1090/S0002-9904-1968-11995-0
[4] Y. N. Moschovakis, Elementary induction in abstract structures, North-Holland, Amsterdam, 1974.
[5] Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
[6] Gerald E. Sacks, Degrees of unsolvability, Princeton University Press, Princeton, N.J., 1963. MR 0186554
[7] Joseph R. Shoenfield, Mathematical logic, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1967. MR 0225631