In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007 - Least-upper-bound property - Document - PDFSEARCH.IO

First Page	Meta Content
	In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007 Add to Reading List Document Date: 2009-02-12 12:35:14 Open Document File Size: 985,65 KB Share Result on Facebook City Kyoto / / Person Abstract As one / John Cleary / Paul Taylor / / Position Bishop / / URL www.cs.man.ac.uk/∼pt/ASD / / SocialTag Metric geometry Real analysis Least-upper-bound property Order theory Cauchy sequence Real number Mathematical logic Complete metric space Compact space Mathematics

In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007Add to Reading List