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

@@ Property / DOI @@
-.1007/s00153-018-0627-2
@@ Property / DOI: 10.1007/s00153-018-0627-2 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-018-0627-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2741308551
@@ Property / OpenAlex ID: W2741308551 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q129893498
@@ Property / Wikidata QID: Q129893498 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-018-0627-2
@@ Property / DOI: 10.1007/S00153-018-0627-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1712938