{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:33:57Z","timestamp":1725514437819},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725039"},{"type":"electronic","value":"9783540725046"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72504-6_54","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T11:36:39Z","timestamp":1185104199000},"page":"595-604","source":"Crossref","is-referenced-by-count":1,"title":["Absolutely Non-effective Predicates and Functions in Computable Analysis"],"prefix":"10.1007","author":[{"given":"Decheng","family":"Ding","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Weihrauch","sequence":"additional","affiliation":[]},{"given":"Yongcheng","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","doi-asserted-by":"crossref","DOI":"10.1515\/9783112313169","volume-title":"Wahrscheinlichkeitstheorie und Grundz\u00fcge der Ma\u00dftheorie","author":"H. Bauer","year":"1974","unstructured":"Bauer, H.: Wahrscheinlichkeitstheorie und Grundz\u00fcge der Ma\u00dftheorie. Walter de Gruyter, Berlin (1974)"},{"key":"54_CR2","doi-asserted-by":"crossref","DOI":"10.1515\/9783110866209","volume-title":"Measure and Integration Theory","author":"H. Bauer","year":"2001","unstructured":"Bauer, H.: Measure and Integration Theory. Walter de Gruyter, Berlin (2001)"},{"key":"54_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0399-0","volume-title":"Measure Theory","author":"D.L. Cohn","year":"1980","unstructured":"Cohn, D.L.: Measure Theory. Birkh\u00e4user, Boston (1980)"},{"key":"54_CR4","series-title":"Sigma series in pure mathematics","volume-title":"General Topology","author":"R. Engelking","year":"1989","unstructured":"Engelking, R.: General Topology. Sigma series in pure mathematics, vol.\u00a06. Heldermann, Berlin (1989)"},{"issue":"2","key":"54_CR5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/malq.19990450202","volume":"45","author":"P. Hertling","year":"1999","unstructured":"Hertling, P.: A real number structure that is effectively categorical. Mathematical Logic Quarterly\u00a045(2), 147\u2013182 (1999)","journal-title":"Mathematical Logic Quarterly"},{"key":"54_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(93)90001-A","volume":"113","author":"K. Weihrauch","year":"1993","unstructured":"Weihrauch, K.: Computability on computable metric spaces. Theoretical Computer Science\u00a0113, 191\u2013210 (1993)","journal-title":"Theoretical Computer Science"},{"key":"54_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"},{"issue":"6","key":"54_CR8","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1002\/malq.200510008","volume":"51","author":"Y. Wu","year":"2005","unstructured":"Wu, Y., Ding, D.: Computabibility of measurable sets via effective metrics. Mathematical Logic Quarterly\u00a051(6), 543\u2013559 (2005)","journal-title":"Mathematical Logic Quarterly"},{"key":"54_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s00153-005-0315-x","volume":"45","author":"Y. Wu","year":"2006","unstructured":"Wu, Y., Ding, D.: Computabibility of measurable sets via effective topologies. Archive for Mathematical Logic\u00a045, 365\u2013379 (2006)","journal-title":"Archive for Mathematical Logic"},{"issue":"1-3","key":"54_CR10","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.tcs.2006.01.050","volume":"359","author":"Y. Wu","year":"2006","unstructured":"Wu, Y., Weihrauch, K.: A computable version of the Daniell-Stone theorem on integration and linear functionals. Theoretical Computer Science\u00a0359(1-3), 28\u201342 (2006)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72504-6_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T07:29:33Z","timestamp":1629444573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72504-6_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540725039","9783540725046"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72504-6_54","relation":{},"subject":[]}}