SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334): Difference between revisions

@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Constructively Complete Finite Sets
@@ Property / cites work: Constructively Complete Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+A Topological Model for Intuitionistic Analysis with Kripke's Scheme
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+On Weak Markov's Principle
@@ Property / cites work: On Weak Markov's Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Markov's principle, Church's thesis and Lindelöf's theorem
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomials and linear transformations
@@ Property / cites work: Polynomials and linear transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
+Normal rank
@@ Property / cites work @@
+Realizing Brouwer's sequences
@@ Property / cites work: Realizing Brouwer's sequences / rank @@
+Normal rank