{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T05:10:25Z","timestamp":1683090625186},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3845,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2003,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that a solution to Hilbert's Tenth Problem in the rings of algebraic integers and bigger subrings of number fields where it is currently not known, is equivalent to a problem of bounding archimedean valuations over non-real number fields.<\/jats:p>","DOI":"10.2178\/jsl\/1058448445","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:09:47Z","timestamp":1109797787000},"page":"860-878","source":"Crossref","is-referenced-by-count":1,"title":["Existential definability with bounds on archimedean valuations"],"prefix":"10.1017","volume":"68","author":[{"given":"Alexandra","family":"Shlapentokh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200008586_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/s002220050170"},{"key":"S0022481200008586_ref022","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-00-10115-9"},{"key":"S0022481200008586_ref004","first-page":"214","article-title":"Hilbert's tenth problem for quadratic rings","volume":"48","author":"Denef","year":"1975","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S0022481200008586_ref001","doi-asserted-by":"publisher","DOI":"10.4064\/aa-79-2-113-135"},{"key":"S0022481200008586_ref007","volume-title":"Algebraic number fields","author":"Janusz","year":"1973"},{"key":"S0022481200008586_ref023","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/270\/04370"},{"key":"S0022481200008586_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45455-1_4"},{"key":"S0022481200008586_ref018","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160420805"},{"key":"S0022481200008586_ref013","first-page":"611","article-title":"Hilbert's tenth problem for a class of rings of algebraic integers","volume":"104","author":"Pheidas","year":"1988","journal-title":"Proceedings of American Mathematical Society"},{"key":"S0022481200008586_ref010","first-page":"353","volume":"59","author":"Mazur","year":"1994","journal-title":"Questions of decidability and undecidability in number theory"},{"key":"S0022481200008586_ref008","volume-title":"Number theory, algebraic numbers and functions","author":"Koch","year":"2000"},{"key":"S0022481200008586_ref012","volume-title":"Galois representations in arithmetic algebraic geometry","author":"Mazur","year":"1998"},{"key":"S0022481200008586_ref003","first-page":"323","volume-title":"Proceedings of Symposia in Pure Mathematics","volume":"28","author":"Davis","year":"1976"},{"key":"S0022481200008586_ref009","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1080\/10586458.1992.10504244","article-title":"The topology of rational points","volume":"1","author":"Mazur","year":"1992","journal-title":"Experimental Mathematics"},{"key":"S0022481200008586_ref006","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-18.3.385"},{"key":"S0022481200008586_ref019","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160420703"},{"key":"S0022481200008586_ref020","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1994.1276"},{"key":"S0022481200008586_ref016","first-page":"98","volume":"14","author":"Robinson","year":"1949","journal-title":"Definability and decision problems in arithmetic"},{"key":"S0022481200008586_ref005","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1980-0549163-X"},{"key":"S0022481200008586_ref002","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1973.11993265"},{"key":"S0022481200008586_ref017","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1959-0112842-7"},{"key":"S0022481200008586_ref011","first-page":"165","article-title":"Speculation about the topology of rational points: An up-date","volume":"228","author":"Mazur","year":"1995","journal-title":"Asterisque"},{"key":"S0022481200008586_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-314X(01)92759-3"},{"key":"S0022481200008586_ref014","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/270\/04376"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200008586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T14:47:18Z","timestamp":1683038838000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200008586\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0022481200008586"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1058448445","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}