{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:03Z","timestamp":1725455643985},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022558","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"97-107","source":"Crossref","is-referenced-by-count":0,"title":["Computation with access to the reals, but using only classical machines"],"prefix":"10.1007","author":[{"given":"N. P.","family":"Bamber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"F. Abramson. Effective computation over the real numbers. In Proceedings of the 12th Annual (IEEE) Symposium and Automata Theory, pages 33\u201337, 1971.","DOI":"10.1109\/SWAT.1971.12"},{"key":"12_CR2","unstructured":"N. P. Bamber. Initial Segments and Theories about Rings. PhD thesis, University of Bristol, 1993. To appear."},{"issue":"1","key":"12_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"L. Blum, M. Shub, and S. Smale. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin (New Series) of the American Mathematical Society, 21(1):1\u201346, July 1989.","journal-title":"Bulletin (New Series) of the American Mathematical Society"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"N. Cutland. Computability. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9781139171496"},{"key":"12_CR5","unstructured":"K. J. Falconer. Fractal Geometry: Mathematical Foundations and Applications. John Wiley &: Sons, 1990."},{"key":"12_CR6","volume-title":"Fundamentals of Generalised Recursion Theory, volume 105 of Studies in Logic and the Foundations of Mathematics","author":"M. C. Fitting","year":"1981","unstructured":"M. C. Fitting. Fundamentals of Generalised Recursion Theory, volume 105 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1981."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"N. Jacobson. Theory of Fields and Galois Theory, volume 3 of Lectures in Abstract Algebra, chapter 6, pages 269\u2013318. D. van Nostrand, 1964.","DOI":"10.1007\/978-1-4612-9872-4_7"},{"issue":"1","key":"12_CR8","doi-asserted-by":"crossref","first-page":"272","DOI":"10.2307\/2274109","volume":"49","author":"G. Mills","year":"1984","unstructured":"G. Mills and J. B. Paris. Regularity in models of arithmetic. Journal of Symbolic Logic, 49(1):272\u2013279, March 1984.","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR9","first-page":"445","volume-title":"Logic Colloquium 73","author":"J. C. Shepherdson","year":"1975","unstructured":"J. C. Shepherdson. Computation over abstract structures. In H. E. Rose and J. C. Shepherdson, editors, Logic Colloquium 73, pages 445\u2013513. North-Holland, Amsterdam, 1975."},{"key":"12_CR10","series-title":"volume 45 of London Mathematical Society Lecture Note Series","first-page":"215","volume-title":"Recursion Theory: its Generalisations and Applications","author":"J. V. Tucker","year":"1979","unstructured":"J. V. Tucker. Computing in algebraic systems. In F. R. Drake and S. S. Wainer, editors, Recursion Theory: its Generalisations and Applications, volume 45 of London Mathematical Society Lecture Note Series, pages 215\u2013235, Proceedings of Logic Colloquium '79, Leeds, August 1979, 1979. Cambridge University Press."}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022558.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:59Z","timestamp":1607550539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0022558","relation":{},"subject":[]}}