Sciweavers

6 search results - page 2 / 2
» Comparing free algebras in Topological and Classical Domain ...
Sort
View
CCA
2005
Springer
13 years 11 months ago
The Dedekind Reals in Abstract Stone Duality
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
Andrej Bauer, Paul Taylor 0002