{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T22:21:39Z","timestamp":1770416499076,"version":"3.49.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T00:00:00Z","timestamp":1512604800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s00153-017-0605-0","type":"journal-article","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T07:18:09Z","timestamp":1512631089000},"page":"755-768","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Embedding locales and formal topologies into positive topologies"],"prefix":"10.1007","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4957-4799","authenticated-orcid":false,"given":"Francesco","family":"Ciraulo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8912-7088","authenticated-orcid":false,"given":"Giovanni","family":"Sambin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,7]]},"reference":[{"key":"605_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.apal.2005.05.016","volume":"137","author":"P Aczel","year":"2006","unstructured":"Aczel, P.: Aspects of general topology in constructive set theory. Ann. Pure Appl. Log. 137, 3\u201329 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.apal.2005.05.017","volume":"137","author":"G Battilotti","year":"2006","unstructured":"Battilotti, G., Sambin, G.: Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Ann. Pure Appl. Log. 137, 30\u201361 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR3","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of categorical algebra. 2, categories and structures. In: Volume 51 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1994)","DOI":"10.1017\/CBO9780511525872"},{"key":"605_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4115\/jla.2013.5.2","volume":"5","author":"F Ciraulo","year":"2013","unstructured":"Ciraulo, F., Maietti, M.E., Sambin, G.: Convergence in formal topology: a unifying notion. J. Log. Anal. 5, 1\u201345 (2013)","journal-title":"J. Log. Anal."},{"key":"605_CR5","doi-asserted-by":"crossref","first-page":"1308","DOI":"10.2178\/jsl.7704150","volume":"77","author":"F Ciraulo","year":"2012","unstructured":"Ciraulo, F., Sambin, G.: A constructive Galois connection between closure and interior. J. Symb. Log. 77, 1308\u20131324 (2012)","journal-title":"J. Symb. Log."},{"key":"605_CR6","doi-asserted-by":"crossref","first-page":"806","DOI":"10.1016\/j.apal.2016.04.009","volume":"167","author":"F Ciraulo","year":"2016","unstructured":"Ciraulo, F., Vickers, S.: Positivity relations on a locale. Ann. Pure Appl. Log. 167, 806\u2013819 (2016)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0168-0072(03)00052-6","volume":"124","author":"T Coquand","year":"2003","unstructured":"Coquand, T., Sambin, G., Smith, J., Valentini, S.: Inductively generated formal topologies. Ann. Pure Appl. Log. 124, 71\u2013106 (2003)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR8","unstructured":"Gambino, N.: Sheaf interpretations for generalised predicative intuitionistic theories. Ph.D. Thesis, Department of Computer Science, University of Manchester (2002)"},{"key":"605_CR9","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1090\/conm\/030\/749770","volume":"30","author":"PT Johnstone","year":"1984","unstructured":"Johnstone, P.T.: Open locales and exponentiation. Contemp. Math. 30, 84\u2013116 (1984)","journal-title":"Contemp. Math."},{"key":"605_CR10","doi-asserted-by":"crossref","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc. 51(309) (1984)","DOI":"10.1090\/memo\/0309"},{"key":"605_CR11","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/j.apal.2009.01.006","volume":"160","author":"ME Maietti","year":"2009","unstructured":"Maietti, M.E.: A minimalist two-level foundation for constructive mathematics. Ann. Pure Appl. Log. 160, 319\u2013354 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR12","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1093\/acprof:oso\/9780198566519.003.0006","volume-title":"From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematic","author":"ME Maietti","year":"2005","unstructured":"Maietti, M.E., Sambin, G.: Toward a minimalist foundation for constructive mathematics. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematic, pp. 91\u2013114. Oxford University Press, Oxford (2005)"},{"key":"605_CR13","doi-asserted-by":"crossref","first-page":"967","DOI":"10.2178\/jsl\/1102022209","volume":"69","author":"ME Maietti","year":"2004","unstructured":"Maietti, M.E., Valentini, S.: A structural investigation on formal topology: coreflection of formal covers and exponentiability. J Symb. Log. 69, 967\u20131005 (2004)","journal-title":"J Symb. Log."},{"key":"605_CR14","unstructured":"Martin-L\u00f6f, P., Sambin, G.: Generating positivity by coinduction. In: [19]"},{"key":"605_CR15","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/j.apal.2005.05.025","volume":"137","author":"E Palmgren","year":"2006","unstructured":"Palmgren, E.: Regular universes and formal spaces. Ann. Pure Appl. Log. 137, 299\u2013316 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.5802\/cml.18","volume":"7","author":"D Rinaldi","year":"2015","unstructured":"Rinaldi, D., Sambin, G., Schuster, P.: The basic Zariski topology. Conflu. Math. 7, 55\u201381 (2015)","journal-title":"The basic Zariski topology. Conflu. Math."},{"key":"605_CR17","doi-asserted-by":"crossref","unstructured":"Sambin, G.: Intuitionistic formal spaces\u2014a first communication. In: Mathematical Logic and Its Applications (Druzhba, 1986), pp. 187\u2013204. Plenum, New York (1987)","DOI":"10.1007\/978-1-4613-0897-3_12"},{"key":"605_CR18","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/S0304-3975(02)00704-1","volume":"305","author":"G Sambin","year":"2003","unstructured":"Sambin, G.: Some points in formal topology. Theor. Comput. Sci. 305, 347\u2013408 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"605_CR19","unstructured":"Sambin, G.: Positive Topology and The Basic Picture. New Structures Emerging from Constructive Mathematics. Clarendon Press, Oxford (forthcoming)"},{"key":"605_CR20","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/j.apal.2005.05.026","volume":"137","author":"P Schuster","year":"2006","unstructured":"Schuster, P.: Formal Zariski topology: positivity and points. Ann. Pure Appl. Log. 137, 317\u2013359 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"605_CR21","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/j.apal.2005.05.028","volume":"137","author":"S Vickers","year":"2006","unstructured":"Vickers, S.: Compactness in locales and in formal topology. Ann. Pure Appl. Log. 137, 413\u2013438 (2006)","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0605-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0605-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0605-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T14:12:20Z","timestamp":1719670340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0605-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,7]]},"references-count":21,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["605"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0605-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,7]]}}}