Report copyright - The Dedekind Reals in Abstract Stone Duality · Keywords: Dedekind real numbers, abstract Stone duality, Heine–Borel theorem, compact topological space, constructive analysis, interval
Please pass captcha verification before submit form