Some principles weaker than Markov's principle (Q892139): Difference between revisions

@@ Property / cites work @@
+Markov's principle, Church's thesis and Lindelöf's theorem
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On the disjunctive Markov principle
@@ Property / cites work: On the disjunctive Markov principle / rank @@
+Normal rank
@@ Property / cites work @@
+Über das Markov-Prinzip
@@ Property / cites work: Über das Markov-Prinzip / rank @@
+Normal rank
@@ Property / cites work @@
+Constructively Complete Finite Sets
@@ Property / cites work: Constructively Complete Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank