Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper - Baire space - Document - PDFSEARCH.IO

First Page	Meta Content
	Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper Add to Reading List Document Date: 2010-10-07 09:46:28 Open Document File Size: 181,00 KB Share Result on Facebook Country Barbados / / IndustryTerm mathematical machinery / computational applications / topos-theoretic technology / / Movie D. 5 / / Person Peter Schuster / Andrej Bauer / / Product Pentax K-x Digital Camera / / Technology topos-theoretic technology / / SocialTag Compact space Subbase Sheaf Continuous function Open set Topological space Sierpiński space Baire space Cover Topology

Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paperAdd to Reading List