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)
Constructive and recursive analysis (03F60) Combinatory logic and lambda calculus (03B40) Computation over the reals, computable analysis (03D78)
Related Items
Some reasons for generalising domain theory ⋮ Classical mathematics for a constructive world ⋮ The connected Vietoris powerlocale ⋮ Problems, solutions, and completions ⋮ Algeo: an algebraic approach to reversibility
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
