EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335): Difference between revisions

@@ Property / cites work @@
+The de Jongh property for basic arithmetic
@@ Property / cites work: The de Jongh property for basic arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta^0_1\) variants of the law of excluded middle and related principles
+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 @@
+Refining the arithmetical hierarchy of classical principles
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity properties in constructive mathematics
@@ Property / cites work: Continuity properties in constructive mathematics / rank @@
+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 @@
+A note on the independence of premiss rule
@@ Property / cites work: A note on the independence of premiss rule / rank @@
+Normal rank
@@ Property / cites work @@
+On the independence of premiss axiom and rule
@@ Property / cites work: On the independence of premiss axiom and rule / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and the de Jongh property
@@ Property / cites work: Intermediate logics and the de Jongh property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+On Weak Markov's Principle
@@ Property / cites work: On Weak Markov's Principle / 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 @@
+Syntactic translations and provably recursive functions
+Normal rank
@@ Property / cites work @@
+Q4437331
@@ Property / cites work: Q4437331 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructively Complete Finite Sets
@@ Property / cites work: Constructively Complete Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models and intermediate logics
@@ Property / cites work: Kripke models and intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216650
@@ Property / cites work: Q3216650 / 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 I
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank