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.

Authors

Andrej Bauer

This author has not been identified. Look up 'Andrej Bauer' in Google

Paul Taylor 0002

This author has not been identified. Look up 'Paul Taylor 0002' in Google