{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:37:22Z","timestamp":1753889842149,"version":"3.41.2"},"reference-count":14,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T00:00:00Z","timestamp":1340582400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We present a notion of precompactness, and study some of its properties, in\nthe context of apartness spaces whose apartness structure is not necessarily\ninduced by any uniform one. The presentation lies entirely with a Bishop-style\nconstructive framework, and is a contribution to the ongoing development of the\nconstructive theories of apartness and uniformity.<\/jats:p>","DOI":"10.2168\/lmcs-8(2:15)2012","type":"journal-article","created":{"date-parts":[[2013,9,23]],"date-time":"2013-09-23T14:50:43Z","timestamp":1379947843000},"source":"Crossref","is-referenced-by-count":0,"title":["Precompact Apartness Spaces"],"prefix":"10.46298","volume":"Volume 8, Issue 2","author":[{"given":"Douglas S","family":"Bridges","sequence":"first","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2012,6,25]]},"reference":[{"key":"10.2168\/LMCS-8(2:15)2012_Aczel1","unstructured":"P. Aczel and M. Rathjen: Notes on Constructive Set Theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences, 2001."},{"key":"10.2168\/LMCS-8(2:15)2012_Aczel2","unstructured":"P. Aczel and M. Rathjen: Constructive Set Theory, in preparation."},{"key":"10.2168\/LMCS-8(2:15)2012_Beeson","doi-asserted-by":"crossref","unstructured":"M.J. Beeson: Foundations of Constructive Mathematics, Springer Verlag, Heidelberg, 1985.","DOI":"10.1007\/978-3-642-68952-9"},{"key":"10.2168\/LMCS-8(2:15)2012_Bishop","unstructured":"E.A. Bishop: Foundations of Constructive Analysis, McGraw-Hill, New York, 1967."},{"key":"10.2168\/LMCS-8(2:15)2012_BB","doi-asserted-by":"crossref","unstructured":"E.A. Bishop and D.S. Bridges: Constructive Analysis, Grundlehren der Math. Wissenschaften 279, Springer Verlag, Heidelberg-Berlin-New York, 1985.","DOI":"10.1007\/978-3-642-61667-9"},{"key":"10.2168\/LMCS-8(2:15)2012_dsb","doi-asserted-by":"crossref","unstructured":"D.S. Bridges: Compactness notions for apartness spaces, Archiv for Math. Logic, online first, 2012; doi 10.1007\/s00153-012-0279-6.","DOI":"10.1007\/s00153-012-0279-6"},{"key":"10.2168\/LMCS-8(2:15)2012_BR","doi-asserted-by":"crossref","unstructured":"D.S. Bridges and F. Richman: Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge Univ. Press, 1987.","DOI":"10.1017\/CBO9780511565663"},{"key":"10.2168\/LMCS-8(2:15)2012_a","unstructured":": Techniques of Constructive Analysis, Universitext, Springer, New York, 2006."},{"key":"10.2168\/LMCS-8(2:15)2012_a","unstructured":": Apartness and Uniformity: A Constructive Development, in CiE seriesTheory and Applications of Computability, Springer Verlag, Heidelberg, 2011."},{"issue":"1","key":"10.2168\/LMCS-8(2:15)2012_Diener","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/malq.200710041","volume":"51","author":"H. Diener:","year":"2008","journal-title":"Math. Logic Quart"},{"key":"10.2168\/LMCS-8(2:15)2012_Isch","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1093\/qjmath\/53.2.185","volume":"53","author":"H. Ishihara and P.M. Schuster:","year":"2002","journal-title":"Quart. J. Math."},{"key":"10.2168\/LMCS-8(2:15)2012_o","unstructured":"f: An intuitionistic theory of types, inTwenty-five Years of Constructive Type Theory(G. Sambin, J. Smith, eds), 127-172, Oxford Logic Guides 36, Clarendon Press, Oxford, 1998."},{"key":"10.2168\/LMCS-8(2:15)2012_Naimpally","unstructured":"S.A. Naimpally and B.D. Warrack: Proximity Spaces, Cambridge Tracts in Math. and Math. Phys. 59, Cambridge Univ. Press, Cambridge, U.K., 1970."},{"key":"10.2168\/LMCS-8(2:15)2012_Steinke","unstructured":"T.A. Steinke: Constructive Notions of Compactness in Apartness Spaces, M.Sc. thesis, University of Canterbury, Christchurch, New Zealand, 2011."}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1052\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1052\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:02:12Z","timestamp":1681243332000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,25]]},"references-count":14,"URL":"https:\/\/doi.org\/10.2168\/lmcs-8(2:15)2012","relation":{"is-same-as":[{"id-type":"arxiv","id":"1205.2931","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1205.2931","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2012,6,25]]},"article-number":"1052"}}