The Forcing Method and the Upper Semilattice of Hyperdegrees
From MaRDI portal
Cites work
- Arithmetical Predicates and Function Quantifiers
- Constructive Versions of Ordinal Number Classes
- scientific article; zbMATH DE number 3176053 (Why is no real title available?)
- Incompleteness along paths in progressions of theories
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- Recursive well-orderings
- Some applications of the notions of forcing and generic sets
- Some consequences of the axiom of constructibility
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
Cited in
(7)- Inductive definability: Measure and category
- Some measure theoretic results in effective descriptive set theory
- Minimal Covers and Hyperdegrees
- Assigning an isomorphism type to a hyperdegree
- A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory
- Classes of Polish spaces under effective Borel isomorphism
- Recursive Pseudo-Well-Orderings
This page was built for publication: The Forcing Method and the Upper Semilattice of Hyperdegrees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5554956)
