Reflections on function spaces (Q651312): Difference between revisions

@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+A fan-theoretic equivalent of the antithesis of Specker's theorem
+Normal rank
@@ Property / cites work @@
+Q3407137
@@ Property / cites work: Q3407137 / rank @@
+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 @@
+Some Notes on Continuity in Constructive Analysis
@@ Property / cites work: Some Notes on Continuity in Constructive Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3627310
@@ Property / cites work: Q3627310 / rank @@
+Normal rank
@@ Property / cites work @@
+Journey into Apartness Space
@@ Property / cites work: Journey into Apartness Space / rank @@
+Normal rank
@@ Property / cites work @@
+Product a‐frames and proximity
@@ Property / cites work: Product a‐frames and proximity / rank @@
+Normal rank
@@ Property / cites work @@
+Apartness and Uniformity
@@ Property / cites work: Apartness and Uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Choice Implies Excluded Middle
@@ Property / cites work: Choice Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+Concepts of general topology in constructive mathematics and in sheaves
+Normal rank
@@ Property / cites work @@
+Concepts of general topology in constructive mathematics and in sheaves, II
+Normal rank
@@ Property / cites work @@
+Q4838046
@@ Property / cites work: Q4838046 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive look at the completeness of the space (ℝ)
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718573
@@ Property / cites work: Q5718573 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Proximal and uniform convergence on apartness spaces
+Normal rank
@@ Property / cites work @@
+On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
+Normal rank
@@ Property / cites work @@
+The constructive completion of the space ?(?)
@@ Property / cites work: The constructive completion of the space ?(?) / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized functions with pseudobounded support in constructive mathematics
+Normal rank