The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938): Difference between revisions

@@ Property / cites work @@
+Brouwer's fan theorem and unique existence in constructive analysis
+Normal rank
@@ Property / cites work @@
+The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
+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 @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An omniscience principle, the König Lemma and the Hahn‐Banach theorem
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak König's lemma implies Brouwer's fan theorem: a direct proof
+Normal rank
@@ Property / cites work @@
+Relativization of Real Numbers to a Universe
@@ Property / cites work: Relativization of Real Numbers to a Universe / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalents of the (weak) fan theorem
@@ Property / cites work: Equivalents of the (weak) fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On computable sequences
@@ Property / cites work: On computable sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302475
@@ Property / cites work: Q4302475 / 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 II
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
+Normal rank