Measure-theoretic construction of incomparable hyperdegrees

DOI10.2307/2964288MaRDI QIDQ3256319zbMATH OpenOpenAlexFDO

Authors Clifford Spector

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• Hierarchies of number-theoretic predicates
• On degrees of recursive unsolvability
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• The upper semi-lattice of degrees of recursive unsolvability
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

Cited in

(15)

• 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
• Measure-theoretic applications of higher Demuth's theorem
• Cohen and Set Theory
• The information content of typical reals
• Classes of Polish spaces under effective Borel isomorphism
• 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
• The generic multiverse is not going away
• A system of axioms for Minkowski spacetime
• Countable embeddability skeletons of discriminator varieties

This page was built for publication: Measure-theoretic construction of incomparable hyperdegrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3256319)