{"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":1725455643383},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571841"},{"type":"electronic","value":"9783540479437"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0022563","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:14:45Z","timestamp":1131844485000},"page":"152-158","source":"Crossref","is-referenced-by-count":5,"title":["On Arnol'd's Hilbert symposium problems"],"prefix":"10.1007","author":[{"given":"N. C. A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. A.","family":"Doria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"17_CR1","first-page":"59","volume":"28","author":"V. I. Arnol'd","year":"1976","unstructured":"V. I. Arnol'd, \u201cProblems of Present Day Mathematics,\u201d XVII (Dynamical systems and differential equations), Proc. Symp. Pure Math. 28, 59 (1976).","journal-title":"Proc. Symp. Pure Math."},{"key":"17_CR2","unstructured":"V. I. Arnol'd, e-mail message to FAD (1992)."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/321574.321591","volume":"17","author":"B. F. Caviness","year":"1970","unstructured":"B. F. Caviness, J. of the ACM 17, 385 (1970).","journal-title":"J. of the ACM"},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/BF00671484","volume":"30","author":"N. C. A. Costa da","year":"1991","unstructured":"N. C. A. da Costa and F. A. Doria, Int. J. Theor. Phys. 30, 1041 (1991).","journal-title":"Int. J. Theor. Phys."},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/BF00665895","volume":"4","author":"N. C. A. Costa da","year":"1991","unstructured":"N. C. A. da Costa and F. A. Doria, Found. Phys. Letters 4, 363 (1991).","journal-title":"Found. Phys. Letters"},{"key":"17_CR6","volume-title":"The Space of Mathematics","author":"N. C. A. Costa da","year":"1992","unstructured":"N. C. A. da Costa and F. A. Doria, \u201cSuppes Predicates for Classical Physics,\u201d in J. Echeverr\u00eda et al., eds., The Space of Mathematics, de Gruyter, Berlin-New York (1992)."},{"key":"17_CR7","unstructured":"N. C. A. da Costa and F. A. Doria, \u201cStructures, Suppes Predicates and Boolean-Valued Models in Physics,\u201d to appear in P. Bystrov and J. Hintikka, eds. Festschrift in Honor of V. I. Smirnov on his 60th Birthday, Kluwer (1992)."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"N. C. A. da Costa and F. A. Doria, \u201cSuppes Predicates and the Construction of Unsolvable Problems in the Axiomatized Sciences,\u201d in P. Humphreys, ed., Patrick Suppes, Mathematician, Philosopher, Kluwer, (1993).","DOI":"10.1007\/978-94-011-0776-1_7"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"N. C. A. da Costa, F. A. Doria, J. A. Ba\u00eata Segundo, D. Krause, \u201cOn Arnol'd's 1974 Hilbert Symposium Problems,\u201d to appear (1993).","DOI":"10.1007\/BFb0022563"},{"key":"17_CR10","unstructured":"M. Davis, \u201cHilbert's Tenth Problem is Unsolvable,\u201d in Computability and Unsolvability, 2nd. edition, Dover (1982)."},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2271358","volume":"33","author":"D. Richardson","year":"1968","unstructured":"D. Richardson, J. Symbol. Logic 33, 514 (1968).","journal-title":"J. Symbol. Logic"}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T16:44:06Z","timestamp":1586537046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571841","9783540479437"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0022563","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}