{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:20Z","timestamp":1725455960302},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556312"},{"type":"electronic","value":"9783540472650"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0021091","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:35:18Z","timestamp":1132619718000},"page":"179-198","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Examples of semicomputable sets of real and complex numbers"],"prefix":"10.1007","author":[{"given":"J. V.","family":"Tucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. I.","family":"Zucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/S0273-0979-1986-15431-5","volume":"15","author":"E. Becker","year":"1986","unstructured":"E. Becker (1986), On the real spectrum of a ring and its application to semialgebraic geometry, Bull. Amer. Math. Soc. (N.S.) 15, 19\u201360.","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"13_CR2","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 (1989), On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bull. Amer. Math. Soc. (N.S.) 21, 1\u201346.","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"T. Br\u00f6cker and L.C. Lander (1975), Differentiable Germs and Catastrophes, London Math. Soc.","DOI":"10.1017\/CBO9781107325418"},{"key":"13_CR4","unstructured":"E. Engeler (1968), Formal Languages: Automata and Structures, Markham Publ. Co."},{"key":"13_CR5","unstructured":"E. Engeler (1975), On the solvability of algorithmic problems, Logic Colloquium '73 (H.E. Rose and J.C. Shepherdson, eds.), North-Holland, pp. 231\u2013251."},{"key":"13_CR6","unstructured":"H. Friedman (1971), Algorithmic procedures, generalised Turing algorithms and elememtary recursion theories, Logic Colloquium '69 (R.O. Gandy and C.M.E. Yates, eds.), North-Holland, pp. 361\u2013389."},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1112\/jlms\/s2-2.1.73","volume":"2","author":"G.T. Herman","year":"1970","unstructured":"G.T. Herman and S.D. Isard (1970), Computability over arbitrary fields, J. London Math. Soc. (2) 2, 73\u201379.","journal-title":"J. London Math. Soc. (2)"},{"key":"13_CR8","unstructured":"S.C. Kleene (1952), Introduction to Metamathematics, North-Holland."},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-1977-1113","volume":"1","author":"A. Kreczmar","year":"1977","unstructured":"A. Kreczmar (1977), Programmability in fields, Fundamenta Informaticae 1, 195\u2013230.","journal-title":"Fundamenta Informaticae"},{"key":"13_CR10","unstructured":"G. Kreisel and J.L. Krivine (1971), Elements of Mathematical Logic, North-Holland."},{"key":"13_CR11","unstructured":"I.R. Shafarevich (1977), Basic Algebraic Geometry (transi. K.A. Hirsch), Springer-Verlag."},{"key":"13_CR12","unstructured":"J. Shepherdson (1985), Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory, Harvey Friedman's Research on the Foundations of Mathematics (L.A. Harrington, M.D. Morley, A. \u0160\u010dedrov and S.G. Simpson, eds.), North-Holland, pp. 309\u2013315."},{"key":"13_CR13","unstructured":"A.S. Troelstra and D. van Dalen (1988), Constructivism in Mathematics: An Introduction, Vol. I, North-Holland."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"J.V. Tucker (1980),. Computing in algebraic systems, Recursion Theory, Its Generalisations and Applications (F.R. Drake and S.S. Wainer, eds.), LMS\/Cambridge University Press.","DOI":"10.1017\/CBO9780511629181.009"},{"key":"13_CR15","first-page":"745","volume-title":"Lecture Notes in Computer Science 443","author":"J. V. Tucker","year":"1990","unstructured":"J. V. Tucker, S.S. Wainer and J. I. Zucker (1990), Provable computable functions on abstract data types, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, Warwick University, England, July 1990 (M.S. Paterson, ed.), Lecture Notes in Computer Science 443, Springer-Verlag, pp. 745\u2013760."},{"key":"13_CR16","volume-title":"CWI Monograph Series","author":"J.V. Tucker","year":"1988","unstructured":"J.V. Tucker and J.I. Zucker (1988), Program Correctness over Abstract Data Types, with Error-State Semantics, CWI Monograph Series, North-Holland and the Centre for Mathematics and Computer Science (CWI), Amsterdam."},{"key":"13_CR17","first-page":"745","volume-title":"Lecture Notes in Computer Science 372","author":"J.V. Tucker","year":"1989","unstructured":"J.V. Tucker and J.I. Zucker (1989), Horn programs and semicomputable relations on abstract structures, Proceedings of the 16th International Colloquium on Automata, Languages and Programming, Stresa, Italy, July 1989, Lecture Notes in Computer Science 372, Springer-Verlag, pp. 745\u2013760."},{"key":"13_CR18","unstructured":"J.V. Tucker and J.I. Zucker (1991a), Provable computable selection functions on abstract structures, Leeds Proof Theory 1990 (P. Aczel, H. Simmons and S.S. Wainer, eds.), Cambridge University Press (to appear)."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"J.V. Tucker and J.I. Zucker (1991b), Deterministic and nondeterministic computation, and Horn programs, on abstract data structures, J. Logic Programming (to appear).","DOI":"10.1016\/0743-1066(92)90020-4"},{"key":"13_CR20","unstructured":"J.V. Tucker and J.I. Zucker (1991c), Specifications, relations and selection functions on abstract data types, Department of Computer Science & Systems, McMaster University, Technical Report 91-14."}],"container-title":["Lecture Notes in Computer Science","Constructivity in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T23:33:38Z","timestamp":1626737618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556312","9783540472650"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0021091","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"16 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}