Measure-theoretic construction of incomparable hyperdegrees
From MaRDI portal
Publication:3256319
DOI10.2307/2964288zbMath0085.24901MaRDI 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, Recursive Pseudo-Well-Orderings, Measure-Theoretic Uniformity in Recursion Theory and Set Theory, Conditional geometric scales of discriminator varieties, Countable embeddability skeletons of discriminator varieties, Some measure theoretic results in effective descriptive set theory, The finitary independence of epimorphism and embedding relations, Bounded truth table does not reduce the one-query tautologies to a random oracle, Cohen and Set Theory
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