\(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582): Difference between revisions

@@ Property / cites work @@
+Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
+Normal rank
@@ Property / cites work @@
+Some principles weaker than Markov's principle
@@ Property / cites work: Some principles weaker than Markov's principle / rank @@
+Normal rank
@@ Property / cites work @@
+INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
+Normal rank
@@ Property / cites work @@
+PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Markov's principle, Church's thesis and Lindelöf's theorem
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+On the disjunctive Markov principle
@@ Property / cites work: On the disjunctive Markov principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / 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