The Dedekind Reals in Abstract Stone Duality

Andrej Bauer, Paul Taylor 0002. The Dedekind Reals in Abstract Stone Duality. In Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch, editors, CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan. Volume 326-7/2005 of Informatik Berichte, pages 25-64, FernUniversität Hagen, Germany, 2005.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.