{"title":"构造数学中一般拓扑学的概念，2","authors":"R.J. Grayson","doi":"10.1016/0003-4843(82)90010-9","DOIUrl":null,"url":null,"abstract":"<div><p>Topological properties of spaces of sections of bundles are investigated in detail, and connected with results in constructive topology, in particular for notions of compactness, connectedness and uniformity.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"23 1","pages":"Pages 55-98"},"PeriodicalIF":0.0000,"publicationDate":"1982-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(82)90010-9","citationCount":"28","resultStr":"{\"title\":\"Concepts of general topology in constructive mathematics and in sheaves, II\",\"authors\":\"R.J. Grayson\",\"doi\":\"10.1016/0003-4843(82)90010-9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Topological properties of spaces of sections of bundles are investigated in detail, and connected with results in constructive topology, in particular for notions of compactness, connectedness and uniformity.</p></div>\",\"PeriodicalId\":100093,\"journal\":{\"name\":\"Annals of Mathematical Logic\",\"volume\":\"23 1\",\"pages\":\"Pages 55-98\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1982-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0003-4843(82)90010-9\",\"citationCount\":\"28\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annals of Mathematical Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0003484382900109\",\"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/0003484382900109","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, II
Topological properties of spaces of sections of bundles are investigated in detail, and connected with results in constructive topology, in particular for notions of compactness, connectedness and uniformity.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
