{"title":"构造数学中一般拓扑学的概念","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":"{\"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}","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}
Concepts of general topology in constructive mathematics and in sheaves
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号
