Proof of a conjecture of Friedman
HTML articles powered by AMS MathViewer
- by Donald A. Martin PDF
- Proc. Amer. Math. Soc. 55 (1976), 129 Request permission
Abstract:
We prove that every uncountable hyperarithmetic set has a member of each hyperdegree $\geqslant {\mathbf {0}}$, the hyperdegree of Kleene’s $0$.References
- Harvey M. Friedman, Borel sets and hyperdegrees, J. Symbolic Logic 38 (1973), 405–409. MR 335248, DOI 10.2307/2273034
- Carl G. Jockusch Jr. and Robert I. Soare, Encodability of Kleene’s $O$, J. Symbolic Logic 38 (1973), 437–440. MR 363842, DOI 10.2307/2273040
Additional Information
- © Copyright 1976 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 55 (1976), 129
- MSC: Primary 02F35
- DOI: https://doi.org/10.1090/S0002-9939-1976-0406785-9
- MathSciNet review: 0406785