On the constructive notion of closure maps (Q2910990): Difference between revisions

@@ Property / cites work @@
+Decidability and Specker sequences in intuitionistic mathematics
+Normal rank
@@ Property / cites work @@
+The double negation of the intermediate value theorem
+Normal rank
@@ Property / cites work @@
+A fan-theoretic equivalent of the antithesis of Specker's theorem
+Normal rank
@@ Property / cites work @@
+The anti-Specker property, a Heine-Borel property, and uniform continuity
+Normal rank
@@ Property / cites work @@
+Q4929338
@@ Property / cites work: Q4929338 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive notions of equicontinuity
@@ Property / cites work: Constructive notions of equicontinuity / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive treatment of Urysohn's Lemma in an apartness space
+Normal rank
@@ Property / cites work @@
+Glueing continuous functions constructively
@@ Property / cites work: Glueing continuous functions constructively / rank @@
+Normal rank
@@ Property / cites work @@
+Sequences of real functions on [0,1] in constructive reverse mathematics
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310896
@@ Property / cites work: Q5310896 / rank @@
+Normal rank