The forcing method and the upper semilattice of hyperdegrees
HTML articles powered by AMS MathViewer
- by S. K. Thomason
- Trans. Amer. Math. Soc. 129 (1967), 38-57
- DOI: https://doi.org/10.1090/S0002-9947-1967-0219421-0
- PDF | Request permission
References
- J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math. 46 (1959), 337–357. MR 124206, DOI 10.4064/fm-46-3-337-357 —, The undefinability of the definable, Abstract 622-71, Notices Amer. Math. Soc. 12 (1965), 347.
- Paul Cohen, The independence of the continuum hypothesis, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1143–1148. MR 157890, DOI 10.1073/pnas.50.6.1143
- S. Feferman, Some applications of the notions of forcing and generic sets, Fund. Math. 56 (1964/65), 325–345. MR 176925, DOI 10.4064/fm-56-3-325-345
- S. Feferman and C. Spector, Incompleteness along paths in progressions of theories, J. Symbolic Logic 27 (1962), 383–390. MR 172793, DOI 10.2307/2964544 P. G. Hinman, Generalizations of some standard theorems on recursive functions, Abstract 65T—238, Notices Amer. Math. Soc. 12 (1965), 466.
- S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312–340. MR 70594, DOI 10.1090/S0002-9947-1955-0070594-4
- S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals. II, Amer. J. Math. 77 (1955), 405–428. MR 70595, DOI 10.2307/2372632
- Donald L. Kreider and Hartley Rogers Jr., Constructive versions of ordinal number classes, Trans. Amer. Math. Soc. 100 (1961), 325–369. MR 151396, DOI 10.1090/S0002-9947-1961-0151396-X
- G. Kreisel, The axiom of choice and the class of hyperarithmetic functions, Nederl. Akad. Wetensch. Proc. Ser. A 65 = Indag. Math. 24 (1962), 307–319. MR 0140418
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902 S. K. Thomason, Hyperarithmetic incomparability, Abstract 624-3, Notices Amer. Math. Soc. 12 (1965), 449. —, The iterated hyperjump, Abstract 625-130, Notices Amer. Math. Soc. 12 (1965), 583. —, The forcing method and the upper semilattice of hyperdegrees, Ph.D. Thesis, Cornell Univ., Ithaca, New York, 1966. —, Lattice-embeddings in the degrees and hyperdegrees, Abstract 65T—35, Notices Amer. Math. Soc. 13 (1966), 136.
Bibliographic Information
- © Copyright 1967 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 129 (1967), 38-57
- MSC: Primary 02.77
- DOI: https://doi.org/10.1090/S0002-9947-1967-0219421-0
- MathSciNet review: 0219421