Title of article :
Quotient topologies in constructive set theory and type theory
Author/Authors :
Ishihara، نويسنده , , Hajime and Palmgren، نويسنده , , Erik، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Abstract :
The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the (generalised) predicative methods available in constructive type theory and constructive set theory.
Keywords :
Quotient spaces , Constructive topology , Martin-Lِf Type Theory , Constructive set theory
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
