Jump to ContentJump to Main Navigation

You are looking at 1-1 of 1 items

  • Keywords: point-free topology x
Clear All Modify Search

View:

SOME CONSTRUCTIVE ROADS TO TYCHONOFF

Steven Vickers

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198566519
eISBN:
9780191713927
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198566519.003.0014
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter discusses the Tychonoff Theorem with respect to point-free topology from the point of view of both topos-valid and predicative mathematics. A new proof of the infinitary Tychonoff ... More


View: