Medvedev Degrees of Generalized R.E. separating Classes (Q4921443): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.08.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2012004274
@@ Property / OpenAlex ID: W2012004274 / 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 @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+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 @@
+Q5848894
@@ Property / cites work: Q5848894 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Mass Problems and Randomness
@@ Property / cites work: Mass Problems and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711896
@@ Property / cites work: Q5711896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863250
@@ Property / cites work: Q4863250 / rank @@
+Normal rank