Two subcategories of apartness spaces (Q651317): Difference between revisions

@@ 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.1016/j.apal.2011.06.022
+Normal rank
@@ Property / OpenAlex ID @@
+W1972499826
@@ Property / OpenAlex ID: W1972499826 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+The crisis in contemporary mathematics
@@ Property / cites work: The crisis in contemporary mathematics / 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 @@
+Apartness, compactness and nearness
@@ Property / cites work: Apartness, compactness and nearness / rank @@
+Normal rank
@@ Property / cites work @@
+Apartness, Topology, and Uniformity: a Constructive View
+Normal rank
@@ Property / cites work @@
+Apartness spaces as a framework for constructive topology
+Normal rank
@@ Property / cites work @@
+Strong and Uniform Continuity – the Uniform Space Case
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Apartness and Uniformity
@@ Property / cites work: Apartness and Uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-apartness and neighbourhood spaces
@@ Property / cites work: Quasi-apartness and neighbourhood spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3023557
@@ Property / cites work: Q3023557 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840146
@@ Property / cites work: Q4840146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752158
@@ Property / cites work: Q2752158 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank