Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Separation Properties in Constructive Topology
 

Summary: Separation Properties in
Constructive Topology
Peter Aczel
Departments of Computer Science and Mathematics, University of Manchester
Christopher Fox
Department of Mathematics, University of Manchester
CLARENDON PRESS . OXFORD
2005

iv

INTRODUCTION v
0.1 Introduction
Until the 1970s there was only a limited focus on the general notion of a topological
space in constructive mathematics. An exception was the work of Anne Troelstra
on intuitionistic general topology, starting with his thesis, [9]. Most attention was
paid to metric space notions both in intuitionistic analysis and in Bishop style
constructive analysis. But in later years, because of the development of topos theory,
the study of sheaf models and work on point­free topology, including work on formal
topology its more predicative version, the notions of general topology in constructive

  

Source: Aczel, Peter - Departments of Mathematics & Computer Science, University of Manchester

 

Collections: Mathematics