Degrees of Unsolvability: A Tutorial (Q3195683): Difference between revisions

@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+A splitting theorem for the Medvedev and Muchnik lattices
+Normal rank
@@ Property / cites work @@
+Mass problems and density
@@ Property / cites work: Mass problems and density / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+MASS PROBLEMS AND HYPERARITHMETICITY
@@ Property / cites work: MASS PROBLEMS AND HYPERARITHMETICITY / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point tile sets and their applications
@@ Property / cites work: Fixed-point tile sets and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
+Normal rank
@@ Property / cites work @@
+Q3050433
@@ Property / cites work: Q3050433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607987
@@ Property / cites work: Q5607987 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonally non-recursive functions and effective Hausdorff dimension
+Normal rank
@@ Property / cites work @@
+MASS PROBLEMS AND INITIAL SEGMENT COMPLEXITY
@@ Property / cites work: MASS PROBLEMS AND INITIAL SEGMENT COMPLEXITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469096
@@ Property / cites work: Q3469096 / rank @@
+Normal rank
@@ Property / cites work @@
+A degree-theoretic definition of the ramified analytical hierarchy
+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 @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+FORCING WITH BUSHY TREES
@@ Property / cites work: FORCING WITH BUSHY TREES / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov complexity and the Recursion Theorem
@@ Property / cites work: Kolmogorov complexity and the Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Zur Deutung der intuitionistischen Logik
@@ Property / cites work: Zur Deutung der intuitionistischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3573560
@@ Property / cites work: Q3573560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848894
@@ Property / cites work: Q5848894 / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting information is hard: a Turing degree of non-integral effective Hausdorff dimension
+Normal rank
@@ Property / cites work @@
+Q5537381
@@ Property / cites work: Q5537381 / rank @@
+Normal rank
@@ Property / cites work @@
+Einstein structures: Existence versus uniqueness
@@ Property / cites work: Einstein structures: Existence versus uniqueness / rank @@
+Normal rank
@@ Property / cites work @@
+Betti numbers of finitely presented groups and very rapidly growing functions.
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of group theoretic problems
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+The recursively enumerable degrees are dense
@@ Property / cites work: The recursively enumerable degrees are dense / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596777
@@ Property / cites work: Q5596777 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding true arithmetic in the Medvedev and Muchnik degrees
+Normal rank
@@ Property / cites work @@
+Degrees of models
@@ Property / cites work: Degrees of models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656753
@@ Property / cites work: Q5656753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962991
@@ Property / cites work: Q3962991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Mass Problems and Randomness
@@ Property / cites work: Mass Problems and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the recursively enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+Mass problems and almost everywhere domination
@@ Property / cites work: Mass problems and almost everywhere domination / rank @@
+Normal rank
@@ Property / cites work @@
+Mass problems and intuitionism
@@ Property / cites work: Mass problems and intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Mass Problems and Measure-Theoretic Regularity
@@ Property / cites work: Mass Problems and Measure-Theoretic Regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Mass problems associated with effectively closed sets
+Normal rank
@@ Property / cites work @@
+Medvedev degrees of two-dimensional subshifts of finite type
+Normal rank
@@ Property / cites work @@
+Q3597424
@@ Property / cites work: Q3597424 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Recursion
@@ Property / cites work: Computability and Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and Muchnik degrees
@@ Property / cites work: Intuitionistic logic and Muchnik degrees / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank