Top Related
The Dedekind Reals in Abstract Stone Dualitymath.andrej.com/data/dedras.pdf · The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 July 2005 Abstract Abstract
Completeness of the Reals
ELIMINATION OVER THE REALS arXiv:2112.00456v1 [math.HO] 1 ...
2010 Summer REALS
Determinacy and extended sharp functions on the reals ... · Determinacy and extended sharp functions on the reals, Part II: Obtaining sharps from determinacy ... have the natural
Reals Relocator Guide
Computable functions of reals - uni-freiburg.de
Computing Over the Reals - Stanford Universitymath.stanford.edu/~feferman/papers/CompOverReals.pdfcomputing over the reals as exact objects. For, in practice, those computations are