The Medvedev lattice of computably closed sets (Q818514): Difference between revisions

@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+A splitting theorem for the Medvedev and Muchnik lattices
+Normal rank
@@ Property / cites work @@
+Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+Q4934277
@@ Property / cites work: Q4934277 / rank @@
+Normal rank
@@ Property / cites work @@
+Density of the Medvedev lattice of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+Countable retracing functions and \(\Pi_2^0\) predicates
+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 @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794148
@@ Property / cites work: Q3794148 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the algebraic structure of the Medvedev Lattice
+Normal rank
@@ Property / cites work @@
+Embedding Brouwer algebra in the Medvedev lattice
@@ Property / cites work: Embedding Brouwer algebra in the Medvedev lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Some Quotient Lattices of the Medvedev Lattice
@@ Property / cites work: Some Quotient Lattices of the Medvedev Lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863250
@@ Property / cites work: Q4863250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3418262
@@ Property / cites work: Q3418262 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic and the Medvedev lattice
@@ Property / cites work: Constructive logic and the Medvedev lattice / rank @@
+Normal rank