The Dedekind reals in abstract Stone duality (0)

by A Bauer, P Taylor
Venue:Math. Structures Comput. Sci