Refining the arithmetical hierarchy of classical principles (Q6094157): Difference between revisions

@@ Property / cites work @@
+A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
+Normal rank
@@ Property / cites work @@
+RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Fragments of Heyting arithmetic
@@ Property / cites work: Fragments of Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta^0_1\) variants of the law of excluded middle and related principles
+Normal rank
@@ Property / cites work @@
+Weihrauch and constructive reducibility between existence statements
+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 @@
+EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
+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 @@
+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 @@
+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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank