Minimum classical extensions of constructive theories (Q2117797): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-80049-9_33
+Normal rank
@@ Property / OpenAlex ID @@
+W3183800913
@@ Property / OpenAlex ID: W3183800913 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the axiom of choice
+Normal rank
@@ Property / cites work @@
+Bar induction and restricted classical logic
@@ Property / cites work: Bar induction and restricted classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
+Normal rank
@@ Property / cites work @@
+Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
+Normal rank
@@ Property / cites work @@
+Delimited control operators prove double-negation shift
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+A continuity principle, a version of Baire's theorem and a boundedness principle
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and constructive hierarchies in extended intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Some axioms for constructive analysis
@@ Property / cites work: Some axioms for constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On a weakening of Markov's Principle
@@ Property / cites work: On a weakening of Markov's 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 @@
+Note on the fan theorem
@@ Property / cites work: Note on the fan theorem / rank @@
+Normal rank