A Survey of Mučnik and Medvedev Degrees (Q2893281): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2070956093
@@ Property / OpenAlex ID: W2070956093 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2376
@@ Property / arXiv ID: 1007.2376 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost everywhere domination
@@ Property / cites work: Almost everywhere domination / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the recursively enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable
+Normal rank
@@ Property / cites work @@
+Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely
+Normal rank
@@ Property / cites work @@
+Degrees of difficulty of generalized r.e. separating classes
+Normal rank
@@ Property / cites work @@
+Mass Problems and Randomness
@@ Property / cites work: Mass Problems and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Density of the Medvedev lattice of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+Degrees of models
@@ Property / cites work: Degrees of models / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+A splitting theorem for the Medvedev and Muchnik lattices
+Normal rank
@@ Property / cites work @@
+Coding true arithmetic in the Medvedev and Muchnik degrees
+Normal rank
@@ Property / cites work @@
+K-Triviality of Closed Sets and Continuous Functions
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank
@@ Property / cites work @@
+The First Order Theories of the Medvedev and Muchnik Lattices
+Normal rank
@@ Property / cites work @@
+A fixed-point-free minimal degree
@@ Property / cites work: A fixed-point-free minimal degree / rank @@
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of the Medvedev lattice
@@ Property / cites work: On the structure of the Medvedev lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
+Normal rank
@@ Property / cites work @@
+The Medvedev lattice of computably closed sets
@@ Property / cites work: The Medvedev lattice of computably closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5707890
@@ Property / cites work: Q5707890 / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and factors of the Medvedev lattice
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / 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 @@
+Embedding Brouwer algebra in the Medvedev lattice
@@ Property / cites work: Embedding Brouwer algebra in the Medvedev lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the algebraic structure of the Medvedev Lattice
+Normal rank
@@ Property / cites work @@
+Q5458618
@@ Property / cites work: Q5458618 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Mass problems and intuitionism
@@ Property / cites work: Mass problems and intuitionism / rank @@
+Normal rank