{"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}
引用次数: 28
Abstract
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号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
