{"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号
