Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

The forcing method and the upper semilattice of hyperdegrees


Author: S. K. Thomason
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
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [A1] J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math. 46 (1959), 337-357. MR 0124206 (23:A1523)
  • [A2] -, The undefinability of the definable, Abstract 622-71, Notices Amer. Math. Soc. 12 (1965), 347.
  • [C] Paul J. Cohen, The independence of the continuum hypothesis, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1143-1148. MR 0157890 (28:1118)
  • [F] Solomon Feferman, Some applications of the notions of forcing and generic sets, Fund. Math. 56 (1965), 325-345. MR 0176925 (31:1193)
  • [F-S] S. Feferman and C. Spector, Incompleteness along paths in progressions of theories, J. Symbolic Logic 27 (1962), 383-390. MR 0172793 (30:3012)
  • [H] P. G. Hinman, Generalizations of some standard theorems on recursive functions, Abstract 65T--238, Notices Amer. Math. Soc. 12 (1965), 466.
  • [K1] S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312-340. MR 0070594 (17:4g)
  • [K2] -, On the forms of predicates in the theory of constructive ordinals. II, Amer. J. Math. 77 (1955), 405-428. MR 0070595 (17:5a)
  • [K-R] D. L. Kreider and H. Rogers, Constructive versions of ordinal number classes, Trans. Amer. Math. Soc. 100 (1961), 325-369. MR 0151396 (27:1381)
  • [Kr] G. Kreisel, The axiom of choice and the class of hyperarithmetic functions, Indag. Math. 24 (1962), 307-319. MR 0140418 (25:3838)
  • [S] C. Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151-163. MR 0074347 (17:570b)
  • [T1] S. K. Thomason, Hyperarithmetic incomparability, Abstract 624-3, Notices Amer. Math. Soc. 12 (1965), 449.
  • [T2] -, The iterated hyperjump, Abstract 625-130, Notices Amer. Math. Soc. 12 (1965), 583.
  • [T3] -, The forcing method and the upper semilattice of hyperdegrees, Ph.D. Thesis, Cornell Univ., Ithaca, New York, 1966.
  • [T4] -, Lattice-embeddings in the degrees and hyperdegrees, Abstract 65T--35, Notices Amer. Math. Soc. 13 (1966), 136.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.77

Retrieve articles in all journals with MSC: 02.77


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1967-0219421-0
Article copyright: © Copyright 1967 American Mathematical Society

American Mathematical Society