The Forcing Method and the Upper Semilattice of Hyperdegrees

DOI10.2307/1994363zbMath0168.25102OpenAlexW4253464784MaRDI QIDQ5554956

S. K. Thomason

Publication date: 1967

Full work available at URL: https://doi.org/10.2307/1994363

zbMATH Keywords

set theory

Related Items

ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE, A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory, Recursive Pseudo-Well-Orderings, Classes of Polish spaces under effective Borel isomorphism, Inductive definability: Measure and category, Some measure theoretic results in effective descriptive set theory, Minimal Covers and Hyperdegrees

Cites Work

• Unnamed Item
• Arithmetical Predicates and Function Quantifiers
• Recursive well-orderings
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Some consequences of the axiom of constructibility
• Constructive Versions of Ordinal Number Classes
• Some applications of the notions of forcing and generic sets
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Incompleteness along paths in progressions of theories