{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T06:42:22Z","timestamp":1772692942504,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,4,24]],"date-time":"2013-04-24T00:00:00Z","timestamp":1366761600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10485-013-9308-9","type":"journal-article","created":{"date-parts":[[2013,4,23]],"date-time":"2013-04-23T08:03:10Z","timestamp":1366704190000},"page":"43-78","source":"Crossref","is-referenced-by-count":10,"title":["Proximity Frames and Regularization"],"prefix":"10.1007","volume":"22","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"John","family":"Harding","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,24]]},"reference":[{"key":"9308_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/mana.19901490107","volume":"149","author":"B Banaschewski","year":"1990","unstructured":"Banaschewski, B.: Compactification of frames. Math. Nachr. 149, 105\u2013115 (1990)","journal-title":"Math. Nachr."},{"issue":"3","key":"9308_CR2","first-page":"301","volume":"6","author":"B Banaschewski","year":"1980","unstructured":"Banaschewski, B., Mulvey, C.J.: Stone\u2013\u010cech compactification of locales. I. Houston J. Math. 6(3), 301\u2013312 (1980)","journal-title":"Houston J. Math."},{"issue":"1","key":"9308_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1017\/S030500410006895X","volume":"108","author":"B Banaschewski","year":"1990","unstructured":"Banaschewski, B., Pultr, A.: Samuel compactification and completion of uniform frames. Math. Proc. Camb. Philos. Soc. 108(1), 63\u201378 (1990)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"1","key":"9308_CR4","first-page":"41","volume":"37","author":"B Banaschewski","year":"1996","unstructured":"Banaschewski, B., Pultr, A.: Booleanization. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 37(1), 41\u201360 (1996)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"issue":"6","key":"9308_CR5","doi-asserted-by":"crossref","first-page":"1064","DOI":"10.1016\/j.topol.2010.01.007","volume":"157","author":"G Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, G.: Stone duality and Gleason covers through de Vries duality. Topology Appl. 157(6), 1064\u20131080 (2010)","journal-title":"Topology Appl."},{"key":"9308_CR6","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/s10485-011-9252-5","volume":"20","author":"G Bezhanishvili","year":"2012","unstructured":"Bezhanishvili, G.: De Vries algebras and compact regular frames. Appl. Categ. Struct. 20, 569\u2013582 (2012)","journal-title":"Appl. Categ. Struct."},{"issue":"1\u20132","key":"9308_CR7","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.apal.2007.04.001","volume":"147","author":"G Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, G., Ghilardi, S.: An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Logic 147(1\u20132), 84\u2013100 (2007)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9308_CR8","unstructured":"Bezhanishvili, G., Harding, J.: Stable compactifications of frames (2013, in preparation)"},{"key":"9308_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.4153\/CMB-1970-023-6","volume":"13","author":"G Bruns","year":"1970","unstructured":"Bruns, G., Lakser, H.: Injective hulls of semilattices. Can. Math. Bull. 13, 115\u2013118 (1970)","journal-title":"Can. Math. Bull."},{"key":"9308_CR10","unstructured":"de\u00a0Vries, H.: Compact spaces and compactifications. An algebraic approach. PhD thesis, University of Amsterdam (1962)"},{"key":"9308_CR11","first-page":"59","volume":"17","author":"P Fletcher","year":"1992","unstructured":"Fletcher, P., Hunsaker, W.: Totally bounded uniformities for frames. Topology Proc. 17, 59\u201369 (1992)","journal-title":"Topology Proc."},{"issue":"4","key":"9308_CR12","first-page":"305","volume":"31","author":"JL Frith","year":"1990","unstructured":"Frith, J.L.: The category of uniform frames. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 31(4), 305\u2013313 (1990)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9308_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)"},{"key":"9308_CR14","doi-asserted-by":"crossref","first-page":"5","DOI":"10.7146\/math.scand.a-11409","volume":"31","author":"JR Isbell","year":"1972","unstructured":"Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5\u201332 (1972)","journal-title":"Math. Scand."},{"key":"9308_CR15","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9308_CR16","first-page":"214","volume-title":"Papers on General Topology and Applications (Gorham, ME, 1995)","author":"A Jung","year":"1996","unstructured":"Jung, A., S\u00fcnderhauf, P.: On the duality of compact vs. open. In: Papers on General Topology and Applications (Gorham, ME, 1995), pp. 214\u2013230. New York Acad. Sci., New York (1996)"},{"key":"9308_CR17","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac\u00a0Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"9308_CR18","doi-asserted-by":"crossref","unstructured":"Picado, J.: Structured frames by Weil entourages. Appl. Categ. Struct. 8(1\u20132), 351\u2013366 (2000). Papers in honour of Bernhard Banaschewski (Cape Town, 1996)","DOI":"10.1007\/978-94-017-2529-3_21"},{"key":"9308_CR19","unstructured":"Rasiowa, H., Sikorski, R.: The mathematics of metamathematics, 3rd edn. PWN\u2014Polish Scientific Publishers, Warsaw (1970). Monografie Matematyczne, Tom 41"},{"issue":"3","key":"9308_CR20","first-page":"567","volume":"34","author":"A Schauerte","year":"1993","unstructured":"Schauerte, A.: Biframe compactifications. Comment. Math. Univ. Carolin. 34(3), 567\u2013574 (1993)","journal-title":"Comment. Math. Univ. Carolin."},{"issue":"73","key":"9308_CR21","first-page":"543","volume":"31","author":"YM Smirnov","year":"1952","unstructured":"Smirnov, Y.M.: On proximity spaces. Mat. Sbornik N.S. 31(73), 543\u2013574 (1952) (Russian)","journal-title":"Mat. Sbornik N.S."},{"issue":"2","key":"9308_CR22","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1112\/jlms\/s2-45.2.321","volume":"45","author":"MB Smyth","year":"1992","unstructured":"Smyth, M.B.: Stable compactification. I. J. Lond. Math. Soc. 45(2), 321\u2013340 (1992)","journal-title":"J. Lond. Math. Soc."},{"key":"9308_CR23","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-29-1-223-303","volume":"29","author":"MH Stone","year":"1937","unstructured":"Stone, M.H.: Algebraic characterizations of special Boolean rings. Fundam. Math. 29, 223\u2013302 (1937)","journal-title":"Fundam. Math."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9308-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-013-9308-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9308-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T17:02:35Z","timestamp":1644858155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-013-9308-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,24]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["9308"],"URL":"https:\/\/doi.org\/10.1007\/s10485-013-9308-9","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,24]]}}}