{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T14:26:21Z","timestamp":1749479181534},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,9,17]],"date-time":"2009-09-17T00:00:00Z","timestamp":1253145600000},"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":[[2011,4]]},"DOI":"10.1007\/s10485-009-9209-0","type":"journal-article","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T07:05:25Z","timestamp":1253084725000},"page":"469-487","source":"Crossref","is-referenced-by-count":1,"title":["Insertion of Continuous Real Functions on Spaces, Bispaces, Ordered Spaces and Pointfree Spaces\u2014A Common Root"],"prefix":"10.1007","volume":"19","author":[{"given":"Maria Jo\u00e3o","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Javier","family":"Guti\u00e9rrez Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Picado","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,9,17]]},"reference":[{"key":"9209_CR1","unstructured":"Banaschewski, B.: The real numbers in pointfree topology. In: Textos de Matem\u00e1tica, vol. 12. University of Coimbra (1997)"},{"key":"9209_CR2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/16073606.1983.9632289","volume":"6","author":"B Banaschewski","year":"1983","unstructured":"Banaschewski, B., Br\u00fcmmer, G.C.L., Hardie, K.A.: Biframes and bispaces. Quaest. Math. 6, 13\u201325 (1983)","journal-title":"Quaest. Math."},{"key":"9209_CR3","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/s00013-005-1173-9","volume":"84","author":"DA Edwards","year":"2005","unstructured":"Edwards, D.A.: A separation theorem for semicontinuous functions on preordered topological spaces. Arch. Math. 84, 559\u2013567 (2005)","journal-title":"Arch. Math."},{"key":"9209_CR4","doi-asserted-by":"crossref","unstructured":"Ferreira, M.J., Guti\u00e9rrez\u00a0Garc\u00eda, J., Picado, J.: Completely normal frames and real-valued functions. Topology Appl. (2009). doi: 10.1016\/j.topol.2008.12.042","DOI":"10.1016\/j.topol.2008.12.042"},{"key":"9209_CR5","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1016\/j.jpaa.2007.07.016","volume":"212","author":"J Guti\u00e9rrez Garc\u00eda","year":"2008","unstructured":"Guti\u00e9rrez\u00a0Garc\u00eda, J., Kubiak, T., Picado, J.: Monotone insertion and monotone extension of frame homomorphisms. J. Pure Appl. Algebra 212, 955\u2013968 (2008)","journal-title":"J. Pure Appl. Algebra"},{"key":"9209_CR6","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s00012-009-2102-8","volume":"60","author":"J Guti\u00e9rrez Garc\u00eda","year":"2009","unstructured":"Guti\u00e9rrez\u00a0Garc\u00eda, J., Kubiak, T., Picado, J.: Lower and upper regularizations of frame semicontinuous real functions. Algebra Univers. 60, 169\u2013184 (2009)","journal-title":"Algebra Univers"},{"key":"9209_CR7","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.jpaa.2008.05.010","volume":"213","author":"J Guti\u00e9rrez Garc\u00eda","year":"2009","unstructured":"Guti\u00e9rrez\u00a0Garc\u00eda, J., Kubiak, T., Picado, J.: Pointfree forms of Dowker\u2019s and Michael\u2019s insertion theorems. J. Pure Appl. Algebra 213, 98\u2013108 (2009)","journal-title":"J. Pure Appl. Algebra"},{"key":"9209_CR8","doi-asserted-by":"crossref","first-page":"1064","DOI":"10.1016\/j.jpaa.2008.11.004","volume":"213","author":"J Guti\u00e9rrez Garc\u00eda","year":"2009","unstructured":"Guti\u00e9rrez\u00a0Garc\u00eda, J., Kubiak, T., Picado, J.: Localic real functions: a general setting. J. Pure Appl. Algebra 213, 1064\u20131074 (2009)","journal-title":"J. Pure Appl. Algebra"},{"key":"9209_CR9","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/j.jpaa.2006.09.004","volume":"210","author":"J Guti\u00e9rrez Garc\u00eda","year":"2007","unstructured":"Guti\u00e9rrez\u00a0Garc\u00eda, J., Picado, J.: On the algebraic representation of semicontinuity. J. Pure Appl. Algebra 210, 299\u2013306 (2007)","journal-title":"J. Pure Appl. Algebra"},{"key":"9209_CR10","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Univ. Press, Cambridge (1982)"},{"key":"9209_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.4064\/fm-38-1-85-91","volume":"38","author":"M Kat\u011btov","year":"1951","unstructured":"Kat\u011btov, M.: On real-valued functions in topological spaces. Fund. Math. 38, 85\u201391 (1951); Correction. Fund. Math. 40, 139\u2013142 (1953)","journal-title":"Fund. Math."},{"issue":"3","key":"9209_CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1112\/plms\/s3-13.1.71","volume":"13","author":"JC Kelly","year":"1963","unstructured":"Kelly, J.C.: Bitopological spaces. Proc. Lond. Math. Soc. 13(3), 71\u201389 (1963)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9209_CR13","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1017\/S1446788700011733","volume":"26","author":"S Lal","year":"1978","unstructured":"Lal, S.: Pairwise concepts in bitopological spaces. J. Aust. Math. Soc., Ser. A 26, 241\u2013250 (1978)","journal-title":"J. Aust. Math. Soc., Ser. A"},{"key":"9209_CR14","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s000120050186","volume":"44","author":"Y-M Li","year":"2000","unstructured":"Li, Y.-M., Li, Z.-H.: Constructive insertion theorems and extension theorems on extremally disconnected frames. Algebra Univers. 44, 271\u2013281 (2000)","journal-title":"Algebra Univers."},{"key":"9209_CR15","first-page":"801","volume":"38","author":"Y-M Li","year":"1997","unstructured":"Li, Y.-M., Wang, G.-J.: Localic Kat\u011btov-Tong insertion theorem and localic Tietze extension theorem. Comment. Math. Univ. Carol. 38, 801\u2013814 (1997)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9209_CR16","first-page":"567","volume":"32","author":"J Mar\u00edn","year":"1991","unstructured":"Mar\u00edn, J., Romaguera, S.: Pairwise monotonically normal spaces. Comment. Math. Univ. Carol. 32, 567\u2013579 (1991)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9209_CR17","series-title":"Van Nostrand Mathematical Studies","volume-title":"Topology and Order","author":"L Nachbin","year":"1965","unstructured":"Nachbin, L.: Topology and Order. Van Nostrand Mathematical Studies, vol. 4. Van Nostrand, Princeton (1965)"},{"key":"9209_CR18","doi-asserted-by":"crossref","first-page":"3203","DOI":"10.1016\/j.topol.2004.10.022","volume":"153","author":"J Picado","year":"2006","unstructured":"Picado, J.: A new look at localic interpolation theorems. Topology Appl. 153, 3203\u20133218 (2006)","journal-title":"Topology Appl."},{"key":"9209_CR19","unstructured":"Picado, J., Pultr, A.: Locales treated mostly in a covariant way. In: Textos de Matem\u00e1tica, vol. 41. University of Coimbra (2008)"},{"key":"9209_CR20","series-title":"Encyclopedia of Mathematics and its Applications","first-page":"49","volume-title":"Categorical Foundations\u2014Special Topics in Order, Algebra and Sheaf Theory","author":"J Picado","year":"2004","unstructured":"Picado, J., Pultr, A., Tozzi, A.: Locales. In: Pedicchio, M.C., Tholen, W. (eds.) Categorical Foundations\u2014Special Topics in Order, Algebra and Sheaf Theory. Encyclopedia of Mathematics and its Applications, vol. 97, pp. 49\u2013101. Cambridge Univ. Press, Cambridge (2004)"},{"issue":"2","key":"9209_CR21","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1112\/jlms\/s2-3.2.371","volume":"3","author":"H Priestley","year":"1971","unstructured":"Priestley, H.: Separation theorems for semi-continuous functions on normally ordered topological spaces. J. Lond. Math. Soc. 3(2), 371\u2013377 (1971)","journal-title":"J. Lond. Math. Soc."},{"key":"9209_CR22","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s10474-007-7118-y","volume":"120","author":"RD Sarma","year":"2008","unstructured":"Sarma, R.D.: A note on extremal disconnectedness in bitopological spaces. Acta Math. Hung. 120, 141\u2013146 (2008)","journal-title":"Acta Math. Hung."},{"key":"9209_CR23","unstructured":"Schauerte, A.: Biframes. Ph.D. thesis, McMaster University (1992)"},{"key":"9209_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00872946","volume":"3","author":"A Schauerte","year":"1995","unstructured":"Schauerte, A.: Normality for biframes. Appl. Categ. Struct. 3, 1\u20139 (1995)","journal-title":"Appl. Categ. Struct."},{"key":"9209_CR25","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1215\/S0012-7094-52-01928-5","volume":"19","author":"H Tong","year":"1952","unstructured":"Tong, H.: Some characterizations of normal and perfectly normal spaces. Duke J. Math. 19, 289\u2013292 (1952)","journal-title":"Duke J. Math."},{"key":"9209_CR26","doi-asserted-by":"crossref","first-page":"176","DOI":"10.4153\/CJM-1949-016-5","volume":"1","author":"MH Stone","year":"1949","unstructured":"Stone, M.H.: Boundedness properties in function-lattices. Can. J. Math. 1, 176\u2013186 (1949)","journal-title":"Can. J. Math."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9209-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-009-9209-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9209-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:57Z","timestamp":1559139957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-009-9209-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,17]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9209"],"URL":"https:\/\/doi.org\/10.1007\/s10485-009-9209-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,17]]}}}