Title of article
Quotient topologies in constructive set theory and type theory
Author/Authors
Ishihara، نويسنده , , Hajime and Palmgren، نويسنده , , Erik، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
9
From page
257
To page
265
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
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443795
Link To Document