{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T18:10:23Z","timestamp":1683137423596},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T00:00:00Z","timestamp":1120608000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T00:00:00Z","timestamp":1120608000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s00153-005-0299-6","type":"journal-article","created":{"date-parts":[[2005,7,5]],"date-time":"2005-07-05T15:15:08Z","timestamp":1120576508000},"page":"351-356","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending strongly continuous functions between apartness spaces"],"prefix":"10.1007","volume":"45","author":[{"given":"Lumini\u0163a Simona","family":"V\u00ee\u0163\u0103","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"299_CR1","unstructured":"Bishop, E.: Foundations of constructive analysis. McGraw\u2013Hill New York 1967"},{"key":"299_CR2","doi-asserted-by":"crossref","unstructured":"Bishop, E., Bridges, D.: Constructive analysis. Grundlehren der Math. Wissenschaften 279, Springer Verlag Heidelberg Berlin New York 1985","DOI":"10.1007\/978-3-642-61667-9"},{"key":"299_CR3","unstructured":"Bourbaki, N.: General topology (Part 1). Addison\u2013Wesley Reading MA 1966"},{"key":"299_CR4","doi-asserted-by":"crossref","unstructured":"Bridges, D., Richman, F.: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97, Cambridge Univ. Press 1987","DOI":"10.1017\/CBO9780511565663"},{"key":"299_CR5","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1002\/1521-3870(200111)47:4<535::AID-MALQ535>3.0.CO;2-3","volume":"47","author":"Bridges","year":"4","unstructured":"Bridges, D., V\u00ee\u0163\u0103, L.: Characterising near continuity constructively. Math. Logic Quarterly 47 (4), 535\u2013538 (2001)","journal-title":"Math. Logic Quarterly"},{"key":"299_CR6","first-page":"123","volume":"56","author":"Bridges","year":"1","unstructured":"Bridges, D., V\u00ee\u0163\u0103, L.: Cauchy nets in the constructive theory of apartness spaces. Scientiae Math. Japonicae 56 (1), 123\u2013132 (2002)","journal-title":"Scientiae Math. Japonicae"},{"key":"299_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0168-0072(02)00033-7","volume":"119","author":"Bridges","year":"2003","unstructured":"Bridges, D., V\u00ee\u0163\u0103, L.: Apartness spaces as a foundation for constructive topology. Ann. Pure Appl. Logic, 119, 61\u201383 (2003)","journal-title":"Ann. Pure Appl. Logic,"},{"key":"299_CR8","doi-asserted-by":"crossref","first-page":"567","DOI":"10.4171\/dm\/151","volume":"8","author":"Bridges","year":"2003","unstructured":"Bridges, D., V\u00ee\u0163\u0103, L.: Separatedness in Constructive Topology. Documenta Math. 8, 567\u2013576 (2003)","journal-title":"Documenta Math."},{"key":"299_CR9","first-page":"11","volume":"01461","author":"Bridges","year":"2002","unstructured":"Bridges, D., Schuster, P., V\u00ee\u0163\u0103, L.: Apartness, topology, and uniformity: a constructive view. In: Computability and Complexity in Analysis, (Proc. Dagstuhl Seminar 01461, 11\u201316 November 2001), Math. Log. Quart. 48, Suppl. 1, 16\u201328 (2002).","journal-title":"In: Computability and Complexity in Analysis, (Proc. Dagstuhl Seminar"},{"key":"299_CR10","unstructured":"Cameron, P., Hocking, J.G., Naimpally, S.A.: Nearness\u2014a better approach to topological continuity and limits. Mathematics Report #18\u201373, Lakehead University Canada 1973"},{"key":"299_CR11","doi-asserted-by":"publisher","first-page":"176","DOI":"10.2307\/2039868","volume":"51","author":"Diaconescu","year":"1975","unstructured":"Diaconescu, R.: Axiom of choice and complementation. Proc. AMS 51, 176\u2013178 (1975)","journal-title":"Proc. AMS"},{"key":"299_CR12","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1002\/malq.19780242514","volume":"23","author":"Goodman","year":"1978","unstructured":"Goodman, N., Myhill, J.: Choice implies excluded middle. Z. Math. Logik Grundlagen Math. 23, 461 (1978)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"299_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0016-660X(74)90022-1","volume":"5","author":"Herrlich","year":"1974","unstructured":"Herrlich, H.: On the extendibility of continuous functions. Gen Topology Appl. 5, 213\u2013215 (1974)","journal-title":"Gen Topology Appl."},{"key":"299_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0016-660X(74)90021-X","volume":"4","author":"Herrlich","year":"1974","unstructured":"Herrlich, H.: A concept of nearness. Gen. Topology Appl. 4, 191\u2013212 (1974)","journal-title":"Gen. Topology Appl."},{"key":"299_CR15","unstructured":"Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge Tracts in Math. and Math. Phys. 59, Cambridge at the University Press 1970"},{"key":"299_CR16","doi-asserted-by":"crossref","unstructured":"Schuster, P., V\u00ee\u0163\u0103, L., Bridges, D.: Apartness as a relation between subsets. In: Combinatorics, Computability and Logic. (Proceedings of DMTCS'01, Constan\u0163a, Romania, 2\u20136 July 2001 C.S. Calude, M.J. Dinneen, S. Sburlan (eds), DMTCS Series 17, Springer Verlag London 203\u2013214 (2001)","DOI":"10.1007\/978-1-4471-0717-0_17"},{"key":"299_CR17","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: an introduction (two volumes). North Holland Amsterdam 1988"},{"key":"299_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1002\/malq.200310025","volume":"49","author":"V\u00ee\u0163\u0103","year":"3","unstructured":"V\u00ee\u0163\u0103, L.: Proximal and uniform convergence on apartness spaces. Math. Logic Quarterly, 49 (3), 255\u2013259 (2003)","journal-title":"Math. Logic Quarterly,"},{"key":"299_CR19","doi-asserted-by":"crossref","unstructured":"V\u00ee\u0163\u0103, L., Bridges, D.: A constructive theory of point\u2013set nearness. In: Proceedings of Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization. Seminar in Dagstuhl, Germany, 4\u20139 June 2000; Springer Lecture Notes in Computer Science, 305, 473\u2013489 (2003)","DOI":"10.1016\/S0304-3975(02)00711-9"},{"key":"299_CR20","first-page":"375","volume":"9","author":"V\u00ee\u0163\u0103","year":"2003","unstructured":"V\u00ee\u0163\u0103, L., Bridges, D.: More on cauchy nets in apartness spaces. Scientiae Math. Japonicae 9, 375\u2013380 (2003)","journal-title":"Scientiae Math. Japonicae"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0299-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-005-0299-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0299-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0299-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T17:55:11Z","timestamp":1683136511000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-005-0299-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,6]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["299"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0299-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,6]]},"assertion":[{"value":"1 December 2003","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2005","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}