The principle of pointfree continuity (Q3121524): Difference between revisions

@@ label / en / label / en @@
+The principle of pointfree continuity
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04512
@@ Property / arXiv ID: 1802.04512 / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718570
@@ Property / cites work: Q5718570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive proof of the Heine-Borel covering theorem for formal reals
+Normal rank
@@ Property / cites work @@
+Embedding locales and formal topologies into positive topologies
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+From Sets and Types to Topology and Analysis
@@ Property / cites work: From Sets and Types to Topology and Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatiality for formal topologies
@@ Property / cites work: Spatiality for formal topologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Formally continuous functions on Baire space
@@ Property / cites work: Formally continuous functions on Baire space / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+The continuum as a formal space
@@ Property / cites work: The continuum as a formal space / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718569
@@ Property / cites work: Q5718569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513593
@@ Property / cites work: Q4513593 / 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 @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems for continuous posets
@@ Property / cites work: Information systems for continuous posets / rank @@
+Normal rank