Minimal Covers and Hyperdegrees (Q4075452): Difference between revisions

@@ label / en / label / en @@
+Minimal Covers and Hyperdegrees
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1997369
@@ Property / full work available at URL: https://doi.org/10.2307/1997369 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4236731166
@@ Property / OpenAlex ID: W4236731166 / rank @@
+Normal rank
@@ Property / title @@
+Minimal Covers and Hyperdegrees (English)
@@ Property / title: Minimal Covers and Hyperdegrees (English) / rank @@
+Normal rank
@@ Property / cites work @@
+The next admissible set
@@ Property / cites work: The next admissible set / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of constructible sets of integers
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability complementary between recursively enumerable degrees, Part 1
+Normal rank
@@ Property / cites work @@
+Minimal degrees and the jump operator
@@ Property / cites work: Minimal degrees and the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+Borel sets and hyperdegrees
@@ Property / cites work: Borel sets and hyperdegrees / rank @@
+Normal rank
@@ Property / cites work @@
+Determinateness in the low protective hierarchy
@@ Property / cites work: Determinateness in the low protective hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal hyperdegree
@@ Property / cites work: A minimal hyperdegree / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+An application of Σ<sub>4</sub><sup>0</sup> determinacy to the degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal pair of Π<sub>1</sub><sup>0</sup> classes
+Normal rank
@@ Property / cites work @@
+Minimal Covers and Arithmetical Sets
@@ Property / cites work: Minimal Covers and Arithmetical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Countable Analytical Sets
@@ Property / cites work: The Theory of Countable Analytical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256314
@@ Property / cites work: Q3256314 / rank @@
+Normal rank
@@ Property / cites work @@
+Metarecursive sets
@@ Property / cites work: Metarecursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and analytic games
@@ Property / cites work: Measurable cardinals and analytic games / rank @@
+Normal rank
@@ Property / cites work @@
+A basis theorem for \(\sum^ 1_ 3\) sets of reals
@@ Property / cites work: A basis theorem for \(\sum^ 1_ 3\) sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+ZF ⊦ Σ<sub>4</sub><sup>0</sup> determinateness
@@ Property / cites work: ZF ⊦ Σ<sub>4</sub><sup>0</sup> determinateness / rank @@
+Normal rank
@@ Property / cites work @@
+Countable admissible ordinals and hyperdegrees
@@ Property / cites work: Countable admissible ordinals and hyperdegrees / rank @@
+Normal rank
@@ Property / cites work @@
+Measure-Theoretic Uniformity in Recursion Theory and Set Theory
+Normal rank
@@ Property / cites work @@
+A minimal degree not realizing least possible jump
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+A Nonconstructible Δ 1 3 Set of Integers
@@ Property / cites work: A Nonconstructible Δ 1 3 Set of Integers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+The Forcing Method and the Upper Semilattice of Hyperdegrees
+Normal rank
@@ Property / cites work @@
+On initial segments of hyperdegrees
@@ Property / cites work: On initial segments of hyperdegrees / rank @@
+Normal rank
@@ Property / cites work @@
+Bar Induction and Π<sub>1</sub><sup>1</sup>-<i>CA</i>
+Normal rank
@@ Property / cites work @@
+A Basis Result for ∑ 0 3 Sets of Reals with an Application to Minimal Covers
+Normal rank
@@ Property / cites work @@
+The α-finite injury method
@@ Property / cites work: The α-finite injury method / rank @@
+Normal rank
@@ Property / cites work @@
+Prioric games and minimal degrees below $0^{(1)}$
@@ Property / cites work: Prioric games and minimal degrees below $0^{(1)}$ / rank @@
+Normal rank