{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T04:42:03Z","timestamp":1693456923941},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T00:00:00Z","timestamp":1274832000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s00153-010-0189-4","type":"journal-article","created":{"date-parts":[[2010,5,25]],"date-time":"2010-05-25T21:21:12Z","timestamp":1274822472000},"page":"603-616","source":"Crossref","is-referenced-by-count":2,"title":["Glueing continuous functions constructively"],"prefix":"10.1007","volume":"49","author":[{"given":"Douglas S.","family":"Bridges","sequence":"first","affiliation":[]},{"given":"Iris","family":"Loeb","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,5,26]]},"reference":[{"key":"189_CR1","unstructured":"Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40. Institut Mittag\u2013Leffler. Royal Swedish Academy of Sciences. (2001)"},{"key":"189_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1793-8","volume-title":"Basic Topology","author":"M.A. Armstrong","year":"1983","unstructured":"Armstrong M.A.: Basic Topology. Springer, New York (1983)"},{"key":"189_CR3","first-page":"18","volume-title":"Computability in Europe. Lecture Notes in Computer Science, vol. 3526","author":"J. Berger","year":"2005","unstructured":"Berger J.: The fan theorem and uniform continuity. In: Cooper, S.B., L\u00f6we, B., Torenvliet, L. (eds) Computability in Europe. Lecture Notes in Computer Science, vol. 3526, pp. 18\u201322. Springer, Berlin (2005)"},{"key":"189_CR4","first-page":"129","volume":"38","author":"J. Berger","year":"2008","unstructured":"Berger J., Bridges D.S.: The fan theorem and positive-valued uniformly continuous functions on compact intervals. N. Z. J. Math. 38, 129\u2013135 (2008)","journal-title":"N. Z. J. Math."},{"key":"189_CR5","volume-title":"Foundations of Constructive Analysis","author":"E.A. Bishop","year":"1967","unstructured":"Bishop E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"189_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis. Grundlehren der Math. Wiss","author":"E.A. Bishop","year":"1985","unstructured":"Bishop E.A., Bridges D.S.: Constructive Analysis. Grundlehren der Math. Wiss. Springer, Berlin (1985)"},{"issue":"4","key":"189_CR7","doi-asserted-by":"crossref","first-page":"1379","DOI":"10.2178\/jsl\/1203350793","volume":"72","author":"D.S. Bridges","year":"2008","unstructured":"Bridges D.S., Diener H.: The pseudocompactness of [0,1] is equivalent to the uniform continuity theorem. J. Symb. Log. 72(4), 1379\u20131383 (2008)","journal-title":"J. Symb. Log."},{"key":"189_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes, vol. 97","author":"D.S. Bridges","year":"1987","unstructured":"Bridges D.S., Richman F.: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes, vol. 97, Cambridge University Press, London (1987)"},{"key":"189_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1002\/malq.19940400106","volume":"40","author":"D.S. Bridges","year":"1994","unstructured":"Bridges D.S., Ishihara H.: Complements of intersections in constructive mathematics. Math. Log. Quart. 40, 35\u201343 (1994)","journal-title":"Math. Log. Quart."},{"key":"189_CR10","volume-title":"Techniques of Constructive Analysis, Universitext","author":"D.S. Bridges","year":"2006","unstructured":"Bridges D.S., V\u00ee\u0163\u0103 L.S.: Techniques of Constructive Analysis, Universitext. Springer, New York (2006)"},{"key":"189_CR11","unstructured":"Diener, H.: Compactness under Constructive Scrutiny. Ph.D. thesis. University of Canterbury (2008)"},{"issue":"1","key":"189_CR12","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/j.apal.2008.09.018","volume":"157","author":"H. Diener","year":"2009","unstructured":"Diener H., Loeb I.: Sequences of real functions on [0,1] in constructive reverse mathematics. Ann. Pure Appl. Log. 157(1), 50\u201361 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"189_CR13","unstructured":"Diener, H., Loeb, I.: Constructive Reverse Investigations into Differential Equations. University of Canterbury (preprint) (2009)"},{"issue":"1","key":"189_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971023","volume":"105","author":"H.M. Friedman","year":"1977","unstructured":"Friedman H.M.: Set theoretic foundations for constructive analysis. Ann. Math. 105(1), 1\u201328 (1977)","journal-title":"Ann. Math."},{"issue":"4","key":"189_CR15","doi-asserted-by":"crossref","first-page":"1349","DOI":"10.2307\/2275479","volume":"56","author":"H. Ishihara","year":"1991","unstructured":"Ishihara H.: Continuity and nondiscontinuity in constructive mathematics. J. Symb. Log. 56(4), 1349\u20131354 (1991)","journal-title":"J. Symb. Log."},{"issue":"2","key":"189_CR16","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2307\/2275292","volume":"57","author":"H. Ishihara","year":"1992","unstructured":"Ishihara H.: Continuity properties in constructive mathematics. J. Symb. Log. 57(2), 557\u2013565 (1992)","journal-title":"J. Symb. Log."},{"key":"189_CR17","first-page":"71","volume":"23","author":"H. Ishihara","year":"1994","unstructured":"Ishihara H.: A constructive version of Banach\u2019s inverse mapping theorem. N. Z. J. Math. 23, 71\u201375 (1994)","journal-title":"N. Z. J. Math."},{"key":"189_CR18","doi-asserted-by":"crossref","first-page":"43","DOI":"10.4000\/philosophiascientiae.406","volume":"6","author":"H. Ishihara","year":"2006","unstructured":"Ishihara H.: Reverse mathematics in Bishop\u2019s constructive mathematics. Phil. Scientiae, Cahier Sp\u00e9cial 6, 43\u201359 (2006)","journal-title":"Phil. Scientiae, Cahier Sp\u00e9cial"},{"key":"189_CR19","volume-title":"Reuniting the Antipodes\u2014Constructive and Nonstandard Views of the Continuum. Synthese Library","author":"H. Ishihara","year":"2001","unstructured":"Ishihara H., Mines R.: Various continuity properties in constructive analysis. In: Schuster, P.M., Berger, U., Osswald, H. (eds) Reuniting the Antipodes\u2014Constructive and Nonstandard Views of the Continuum. Synthese Library, 306, pp. 103\u2013110. Kluwer, Dordrecht (2001)"},{"issue":"6","key":"189_CR20","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1002\/malq.200310119","volume":"50","author":"H. Ishihara","year":"2004","unstructured":"Ishihara H., Schuster P.M.: Compactness under constructive scrutiny. Math. Log. Quart. 50(6), 540\u2013550 (2004)","journal-title":"Math. Log. Quart."},{"key":"189_CR21","unstructured":"Kushner, B.A.: Lectures on Constructive Mathematical Analysis. Amer. Math. Soc. Providence RI, 1985"},{"issue":"3","key":"189_CR22","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2272159","volume":"40","author":"J. Myhill","year":"1975","unstructured":"Myhill J.: Constructive set theory. J. Symb. Log. 40(3), 347\u2013382 (1975)","journal-title":"J. Symb. Log."},{"key":"189_CR23","volume-title":"Lecture Notes on Elementary Topology and Geometry, Undergrad. Texts in Math","author":"I.M. Singer","year":"1967","unstructured":"Singer I.M., Thorpe J.A.: Lecture Notes on Elementary Topology and Geometry, Undergrad. Texts in Math. Springer, New York (1967)"},{"key":"189_CR24","volume-title":"Constructivism in Mathematics: an Introduction (two volumes)","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra A.S., van Dalen D.: Constructivism in Mathematics: an Introduction (two volumes). North Holland, Amsterdam (1988)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0189-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0189-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0189-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:43Z","timestamp":1558640203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0189-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,26]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["189"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0189-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,26]]}}}