{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T15:10:18Z","timestamp":1697901018399},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T00:00:00Z","timestamp":1696032000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T00:00:00Z","timestamp":1696032000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Centre for Mathematics of the University of Coimbra"},{"name":"European Research Council"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s10485-023-09749-6","type":"journal-article","created":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T15:01:55Z","timestamp":1696086115000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Pervin Spaces and Frith Frames: Bitopological Aspects and Completion"],"prefix":"10.1007","volume":"31","author":[{"given":"C\u00e9lia","family":"Borlido","sequence":"first","affiliation":[]},{"given":"Anna Laura","family":"Suarez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,30]]},"reference":[{"key":"9749_CR1","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1007\/s10485-013-9345-4","volume":"22","author":"RN Ball","year":"2014","unstructured":"Ball, R.N., Picado, J., Pultr, A.: Notes on exact meets and joins. Appl. Categ. Struct. 22, 699\u2013714 (2014)","journal-title":"Appl. Categ. Struct."},{"key":"9749_CR2","doi-asserted-by":"crossref","unstructured":"Banaschewski, B.: Coherent frames. In Continuous Lattices (Berlin, Heidelberg), B.\u00a0Banaschewski and R.-E. Hoffmann, Eds., Springer Berlin Heidelberg, pp.\u00a01\u201311 (1981)","DOI":"10.1007\/BFb0089900"},{"key":"9749_CR3","unstructured":"Banaschewski, B.: Universal, zero-dimensional compactifications. In Categorical topology and its relation to analysis, algebra and combinatorics (Prague,: World Sci. Publ. Teaneck, NJ 1989, 257\u2013269 (1988)"},{"issue":"1\u20133","key":"9749_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1080\/16073606.1983.9632289","volume":"6","author":"B Banaschewski","year":"1983","unstructured":"Banaschewski, B., Br\u00fcmmer, G.C., Hardie, K.A.: Biframes and bispaces. Quaest. Math. 6(1\u20133), 13\u201325 (1983)","journal-title":"Quaest. Math."},{"issue":"3","key":"9749_CR5","doi-asserted-by":"publisher","first-page":"369","DOI":"10.2989\/16073606.2010.507327","volume":"33","author":"B Banaschewski","year":"2010","unstructured":"Banaschewski, B., Pultr, A.: Pointfree aspects of the $$T_D$$ axiom of classical topology. Quaest. Math. 33(3), 369\u2013385 (2010)","journal-title":"Quaest. Math."},{"issue":"3","key":"9749_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129509990302","volume":"20","author":"G Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., Kurz, A.: Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20(3), 359\u2013393 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9749_CR7","doi-asserted-by":"crossref","unstructured":"Borlido, C., Suarez, A.\u00a0L.: A pointfree theory of Pervin spaces. Quaestiones Mathematicae, 1\u201340 (2023)","DOI":"10.2989\/16073606.2022.2146545"},{"key":"9749_CR8","unstructured":"Cornish, W.: On H. Priestley\u2019s dual of the category of bounded distributive lattices. Matemati\u010dki Vesnik 12(27), 329\u2013332 (1975)"},{"key":"9749_CR9","series-title":"Cambridge Mathematical Textbooks","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge Mathematical Textbooks, Cambridge University Press, Cambridge (1990)"},{"key":"9749_CR10","unstructured":"Frith, J. (1986) Structured frames. PhD thesis, University of Cape Town"},{"key":"9749_CR11","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.-E.: A topological approach to recognition. In Automata, languages and programming. Part II, vol.\u00a06199 of Lecture Notes in Computer Science Springer, Berlin, pp.\u00a0151\u2013162 (2010)","DOI":"10.1007\/978-3-642-14162-1_13"},{"key":"9749_CR12","unstructured":"Jech, T.\u00a0J.: The axiom of choice. Studies in Logic and the Foundations of Mathematics, Vol. 75. North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, (1973)"},{"key":"9749_CR13","unstructured":"Johnstone, P.\u00a0T.: Stone spaces, vol.\u00a03 of Cambridge studies in advanced mathematics. Cambridge University Press, (1982)"},{"key":"9749_CR14","unstructured":"Johnstone, P.\u00a0T.: Vietoris locales and localic semilattices. In: Lecture Notes in Pure and Applied Mathematics 101 (1985). Proceedings of a conference held in the University of Bremen, (1982)"},{"issue":"6","key":"9749_CR15","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1007\/s10485-020-09602-0","volume":"28","author":"MA Moshier","year":"2020","unstructured":"Moshier, M.A., Pultr, A., Suarez, A.L.: Exact and strongly exact filters. Appl. Categ. Struct. 28(6), 907\u2013920 (2020)","journal-title":"Appl. Categ. Struct."},{"issue":"3","key":"9749_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0166-8641(87)90046-0","volume":"26","author":"S Niefield","year":"1987","unstructured":"Niefield, S., Rosenthal, K.: Spatial sublocales and essential primes. Topol. Appl. 26(3), 263\u2013269 (1987)","journal-title":"Topol. Appl."},{"issue":"3","key":"9749_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00878102","volume":"2","author":"J Picado","year":"1994","unstructured":"Picado, J.: Join-continuous frames, Priestley\u2019s duality and biframes. Appl. Categ. Struct. 2(3), 297\u2013313 (1994)","journal-title":"Appl. Categ. Struct."},{"key":"9749_CR18","volume-title":"Frames and Locales: Topology without points","author":"J Picado","year":"2011","unstructured":"Picado, J.: Frames and Locales: Topology without points. Springer, Basel (2011)"},{"key":"9749_CR19","doi-asserted-by":"crossref","unstructured":"Pin, J.E.: Dual space of a lattice as the completion of a Pervin space. In: International Conference on Relational and Algebraic Methods in Computer Science, pp.\u00a024\u201340 (2017)","DOI":"10.1007\/978-3-319-57418-9_2"},{"issue":"2","key":"9749_CR20","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/1385-7258(73)90046-2","volume":"76","author":"IL Reilly","year":"1973","unstructured":"Reilly, I.L.: Zero dimensional bitopological spaces. Indagationes Mathematicae (Proceedings) 76(2), 127\u2013131 (1973)","journal-title":"Indagationes Mathematicae (Proceedings)"},{"key":"9749_CR21","unstructured":"Salbany, S.: Bitopological spaces, compactifications and completions. Mathematical Monographs of the University of Cape Town, No. 1. University of Cape Town, Department of Mathematics, Cape Town, (1974)"},{"key":"9749_CR22","unstructured":"Schauerte, A.: Biframes. PhD thesis, McMaster University, Hamilton, Ontario, (1992)"},{"issue":"2","key":"9749_CR23","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0305004196001636","volume":"122","author":"S Vickers","year":"1997","unstructured":"Vickers, S.: Constructive points of powerlocales. Math. Proc. Cambridge Philos. Soc. 122(2), 207\u2013222 (1997)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"9749_CR24","unstructured":"Wilson, J.\u00a0T.: The Assembly Tower and Some Categorical and Algebraic Aspects of Frame Theory. PhD thesis, Carnegie Mellon University, (1994)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09749-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-023-09749-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09749-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T10:16:53Z","timestamp":1697797013000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-023-09749-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,30]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["9749"],"URL":"https:\/\/doi.org\/10.1007\/s10485-023-09749-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,30]]},"assertion":[{"value":"6 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 September 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"None","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interests"}}],"article-number":"43"}}