The Dedekind reals in abstract Stone duality (Q3395312): Difference between revisions

@@ Property / cites work @@
+RealLib: An efficient implementation of exact real arithmetic
+Normal rank
@@ Property / cites work @@
+Constructive mathematics: a foundation for computable analysis
+Normal rank
@@ Property / cites work @@
+Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic)
+Normal rank
@@ Property / cites work @@
+Computably Based Locally Compact Spaces
@@ Property / cites work: Computably Based Locally Compact Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Note on total categories
@@ Property / cites work: Note on total categories / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+The anti-Specker property, a Heine-Borel property, and uniform continuity
+Normal rank
@@ Property / cites work @@
+A uniformly continuous function on [0,1] that is everywhere different from its infimum
+Normal rank
@@ Property / cites work @@
+RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Real Numbers With RZ
@@ Property / cites work: Implementing Real Numbers With RZ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Yoneda structures on 2-categories
@@ Property / cites work: Yoneda structures on 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+The Discrete Objects in the Effective Topos
@@ Property / cites work: The Discrete Objects in the Effective Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Cosmoi of Internal Categories
@@ Property / cites work: Cosmoi of Internal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Unique existence, approximate solutions, and countable choice.
+Normal rank
@@ Property / cites work @@
+Some remarks on total categories
@@ Property / cites work: Some remarks on total categories / rank @@
+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 @@
+A domain-theoretic approach to computability on the real line
+Normal rank