The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con - Upper bound theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con Add to Reading List Document Date: 2009-06-03 17:25:38 Open Document File Size: 763,51 KB Share Result on Facebook IndustryTerm numerical algorithms / logical systems / / Person Paul Taylor / Giuseppe Peano / Richard Dedekind / Ramon Moore / Ua / / Position Bishop / / SocialTag General topology Order theory Real analysis Calculus Measure theory Least-upper-bound property Compact space Intermediate value theorem Continuous function Mathematical analysis

The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other conAdd to Reading List