{"title":"Concepts of general topology in constructive mathematics and in sheaves","authors":"R.J. Grayson","doi":"10.1016/0003-4843(81)90010-3","DOIUrl":null,"url":null,"abstract":"<div><p>Notions from classical general topology are developed in parallel in a constructive context and in interpretations in sheat models. These include the <em>T</em><sub>0</sub>, <em>T</em><sub>1</sub>, <em>T</em><sub>2</sub> separation principles, (complete) regularity, normality, compactness and connectedness. Intuitionistic continuity principles are also considered.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 1","pages":"Pages 1-41"},"PeriodicalIF":0.0000,"publicationDate":"1981-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90010-3","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of Mathematical Logic","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0003484381900103","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Notions from classical general topology are developed in parallel in a constructive context and in interpretations in sheat models. These include the T0, T1, T2 separation principles, (complete) regularity, normality, compactness and connectedness. Intuitionistic continuity principles are also considered.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
