{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:04Z","timestamp":1725487984146},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_36","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"348-357","source":"Crossref","is-referenced-by-count":0,"title":["Internal Computability"],"prefix":"10.1007","author":[{"given":"Guido","family":"Gherardi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E.A. Bishop","year":"1985","unstructured":"Bishop, E.A., Bridges, B.S.: Constructive Analysis. Springer, Heidelberg (1985)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Bishop, E.A., Cheng, H.: Constructive measure theory. Mem. American Mathematical Society 116 (1972)","DOI":"10.1090\/memo\/0116"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/malq.200310125","volume":"51","author":"V. Brattka","year":"2005","unstructured":"Brattka, V.: Effective Borel measurability and reducibility of functions. Mathematical Logic Quarterly\u00a051, 19\u201344 (2005)","journal-title":"Mathematical Logic Quarterly"},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(02)00693-X","volume":"305","author":"V. Brattka","year":"2003","unstructured":"Brattka, V., Presser, G.: Computability on subsets of metric spaces. Theoretical Computer Science\u00a0305, 43\u201376 (2003)","journal-title":"Theoretical Computer Science"},{"key":"36_CR5","unstructured":"Bridges, D.S.: Constructive Functional Analysis. Pitman (1979)"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1090\/S0002-9939-1975-0364590-5","volume":"48","author":"Y.K. Chan","year":"1975","unstructured":"Chan, Y.K.: A short proof of an existence theorem in constructive measure theory. Proceedings of the American Mathematical Society\u00a048, 435\u2013437 (1975)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"36_CR7","unstructured":"Friedman, H.: 6:Undefinability\/Nonstandard Models, http:\/\/www.cs.nyu.edu\/pipermail\/fom\/1997-November\/000278.html"},{"key":"36_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0615-6","volume-title":"Lectures on the Hyperreals","author":"R. Goldblatt","year":"1998","unstructured":"Goldblatt, R.: Lectures on the Hyperreals. Springer, Heidelberg (1998)"},{"volume-title":"Nonstandard Analysis for the Working Mathematician","year":"2000","key":"36_CR9","unstructured":"Loeb, P.A., Wolff, M. (eds.): Nonstandard Analysis for the Working Mathematician. Kluwer, Dordrecht (2000)"},{"key":"36_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.2307\/421031","volume":"4","author":"E. Palmgren","year":"1998","unstructured":"Palmgren, E.: Developements in constructive nonstandard analysis. The Bullettin of Symbolic Logic\u00a04, 233\u2013273 (1998)","journal-title":"The Bullettin of Symbolic Logic"},{"key":"36_CR11","volume-title":"Non-Standard Analysis","author":"A. Robinson","year":"1966","unstructured":"Robinson, A.: Non-Standard Analysis. North-Holland, Amsterdam (1966)"},{"key":"36_CR12","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-94-015-9757-9_20","volume-title":"Reunititing the antipodes - Constructive and Nonstandard Views of the Continuum","author":"D.A. Ross","year":"2001","unstructured":"Ross, D.A.: The constructive content of nonstandard measure existence proof - is there any? In: Berger, U., Osswald, P., Schuster, P. (eds.) Reunititing the antipodes - Constructive and Nonstandard Views of the Continuum, pp. 229\u2013239. Kluwer Academic Publishers, Boston (2001)"},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1002\/malq.200610008","volume":"52","author":"D.A. Ross","year":"2006","unstructured":"Ross, D.A.: A nonstandard proof o a lemma from constructive measure theory. Mathematical Logic Quartely\u00a052, 494\u2013497 (2006)","journal-title":"Mathematical Logic Quartely"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Tanaka, K.: Nonstandard Analysis in WKL0. Mathematical Logic Quarterly vol. 43 (1997)","DOI":"10.1002\/malq.19970430312"},{"key":"36_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:18:05Z","timestamp":1556698685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}