Effectively closed mass problems and intuitionism (Q408163): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2011.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2010454090
@@ Property / OpenAlex ID: W2010454090 / 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 @@
+Zur Deutung der intuitionistischen Logik
@@ Property / cites work: Zur Deutung der intuitionistischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848894
@@ Property / cites work: Q5848894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4774021
@@ Property / cites work: Q4774021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537381
@@ Property / cites work: Q5537381 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the recursively enumerable Turing degrees
+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 Randomness
@@ Property / cites work: Mass Problems and Randomness / 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 @@
+Some Quotient Lattices of the Medvedev Lattice
@@ Property / cites work: Some Quotient Lattices of the Medvedev Lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and factors of the Medvedev lattice
+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