The Dedekind reals in abstract Stone duality
From MaRDI portal
Publication:3395312
DOI10.1017/S0960129509007695zbMath1262.03130WikidataQ56430070 ScholiaQ56430070MaRDI QIDQ3395312
No author found.
Publication date: 26 August 2009
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
03F60: Constructive and recursive analysis
03B40: Combinatory logic and lambda calculus
03D78: Computation over the reals, computable analysis
Related Items
The connected Vietoris powerlocale, Problems, solutions, and completions, Classical mathematics for a constructive world, Some reasons for generalising domain theory
Uses Software
Cites Work
- Unnamed Item
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- LCF considered as a programming language
- Yoneda structures on 2-categories
- A domain-theoretic approach to computability on the real line
- Constructive mathematics: a foundation for computable analysis
- Proper maps of locales
- Unique existence, approximate solutions, and countable choice.
- Some remarks on total categories
- Untersuchungen über das logische Schliessen. I
- Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- An extension of the Galois theory of Grothendieck
- RealLib: An efficient implementation of exact real arithmetic
- The Discrete Objects in the Effective Topos
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Note on total categories
- Cosmoi of Internal Categories
- Implementing Real Numbers With RZ
- Computably Based Locally Compact Spaces
- On the interpretation of intuitionistic number theory
- Non-standard analysis