{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:09Z","timestamp":1725858069967},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401881"},{"type":"electronic","value":"9783319401898"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_37","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T15:34:07Z","timestamp":1465832047000},"page":"364-374","source":"Crossref","is-referenced-by-count":3,"title":["A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces"],"prefix":"10.1007","author":[{"given":"Iosif","family":"Petrakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0022-4049(96)00160-0","volume":"116","author":"B Banaschewski","year":"1997","unstructured":"Banaschewski, B., Mulvey, C.J.: A constructive proof of the Stone-Weierstrass theorem. J. Pure Appl. Algebra 116, 25\u201340 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"37_CR2","volume-title":"Foundations of Constructive Analysis","author":"E Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"37_CR3","series-title":"Grundlehren der mathematischen Wissenschaften","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Grundlehren der mathematischen Wissenschaften, vol. 279. Springer, New York (1985)"},{"issue":"12","key":"37_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.apal.2011.06.018","volume":"163","author":"DS Bridges","year":"2012","unstructured":"Bridges, D.S.: Reflections on function spaces. Ann. Pure Appl. Logic 163(12), 101\u2013110 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"37_CR5","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033357","volume-title":"Techniques of Constructive Analysis: Universitext","author":"DS Bridges","year":"2006","unstructured":"Bridges, D.S., V\u00ee\u0163\u0103, L.S.: Techniques of Constructive Analysis: Universitext. Springer, New York (2006)"},{"key":"37_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of Constructive Mathematics","author":"DS Bridges","year":"1987","unstructured":"Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, New York (1987)"},{"unstructured":"Coquand, T.: A Constructive Analysis of the Stone-Weierstrass Theorem, Manuscript (2001)","key":"37_CR7"},{"key":"37_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.jpaa.2004.08.024","volume":"197","author":"T Coquand","year":"2005","unstructured":"Coquand, T.: About Stone\u2019s notion of spectrum. J. Pure Appl. Algebra 197, 141\u2013158 (2005)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"37_CR9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1017\/S0305004109002515","volume":"147","author":"T Coquand","year":"2009","unstructured":"Coquand, T., Spitters, B.A.W.: Constructive Gelfand duality for C $$^{*}$$ \u2217 -algebras. Math. Proc. Camb. Philos. Soc. 147(2), 339\u2013344 (2009)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"37_CR10","volume-title":"Topology","author":"J Dugundji","year":"1989","unstructured":"Dugundji, J.: Topology. Brown Publishers Wm. C, Dubuque (1989)"},{"key":"37_CR11","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1016\/j.apal.2011.06.022","volume":"163","author":"H Ishihara","year":"2013","unstructured":"Ishihara, H.: Two subcategories of apartness spaces. Ann. Pure Appl. Logic 163, 132\u2013139 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"key":"37_CR12","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1016\/j.apal.2012.10.009","volume":"164","author":"H Ishihara","year":"2013","unstructured":"Ishihara, H.: Relating Bishop\u2019s function spaces to neighborhood spaces. Ann. Pure Appl. Logic 164, 482\u2013490 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"key":"37_CR13","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1016\/j.apal.2006.01.004","volume":"141","author":"H Ishihara","year":"2006","unstructured":"Ishihara, H., Mines, R., Schuster, P., V\u00ee\u0163\u0103, L.S.: Quasi-apartness and neighborhood spaces. Ann. Pure Appl. Logic 141, 296\u2013306 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"37_CR14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.14321\/realanalexch.28.1.0033","volume":"28","author":"R Miculescu","year":"2002","unstructured":"Miculescu, R.: Approximations by Lipschitz functions generated by extensions. Real Anal. Exch. 28(1), 33\u201340 (2002)","journal-title":"Real Anal. Exch."},{"unstructured":"Petrakis, I.: Constructive Topology of Bishop Spaces, Ph.D. Thesis. Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen (2015)","key":"37_CR15"},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/978-3-319-20028-6_31","volume-title":"Evolving Computability","author":"I Petrakis","year":"2015","unstructured":"Petrakis, I.: Completely regular Bishop spaces. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 302\u2013312. Springer, Heidelberg (2015)"},{"key":"37_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-319-27683-0_21","volume-title":"Logical Foundations of Computer Science","author":"I Petrakis","year":"2016","unstructured":"Petrakis, I.: The Urysohn extension theorem for Bishop spaces. In: Artemov, S., et al. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 299\u2013316. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-27683-0_21"},{"unstructured":"Tuominen, H.: Analysis in Metric Spaces, Lecture notes (2014)","key":"37_CR18"},{"unstructured":"http:\/\/math.stackexchange.com\/questions\/665587\/","key":"37_CR19"}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:17:31Z","timestamp":1498321051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}