Measure-theoretic construction of incomparable hyperdegrees
From MaRDI portal
Publication:3256319
DOI10.2307/2964288zbMath0085.24901OpenAlexW2086129880MaRDI QIDQ3256319
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964288
Related Items
Measure-theoretic uniformity, A complete classification of the Δ₂¹-functions, A system of axioms for Minkowski spacetime, Bounded truth table does not reduce the one-query tautologies to a random oracle, The finitary independence of epimorphism and embedding relations, Recursive Pseudo-Well-Orderings, Classes of Polish spaces under effective Borel isomorphism, Conditional geometric scales of discriminator varieties, Countable embeddability skeletons of discriminator varieties, Measure-Theoretic Uniformity in Recursion Theory and Set Theory, The Information Content of Typical Reals, Some measure theoretic results in effective descriptive set theory, Cohen and Set Theory, Measure-theoretic applications of higher Demuth’s Theorem
Cites Work
- On degrees of recursive unsolvability
- The upper semi-lattice of degrees of recursive unsolvability
- Hierarchies of number-theoretic predicates
- TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
