{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T11:10:01Z","timestamp":1708427401310},"reference-count":29,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4302,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2002,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We use a new version of the Definability Theorem of Beth in order to unify classical theorems of Yuri Matiyasevich and Jan Denef in one structural statement. We give similar forms for other important definability results from Arithmetic and Number Theory.<\/jats:p>","DOI":"10.2178\/jsl\/1190150100","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T19:13:31Z","timestamp":1197573211000},"page":"598-620","source":"Crossref","is-referenced-by-count":0,"title":["An isomorphism between monoids of external embeddings: About definability in arithmetic"],"prefix":"10.1017","volume":"67","author":[{"given":"Mihai","family":"Prunescu","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009646_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1979-0512068-1"},{"key":"S0022481200009646_ref010","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano arithmetic","author":"Kaye","year":"1991"},{"key":"S0022481200009646_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF01700692"},{"key":"S0022481200009646_ref006","first-page":"391","volume-title":"Transactions of the American Mathematical Society","author":"Denef","year":"1978"},{"key":"S0022481200009646_ref001","volume-title":"Proceedings of the Royal Academy of Sciences","author":"Beth","year":"1953"},{"key":"S0022481200009646_ref008","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-18.3.385"},{"key":"S0022481200009646_ref002","volume-title":"The foundations of mathematics","author":"Beth","year":"1959"},{"key":"S0022481200009646_ref005","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":"S0022481200009646_ref014","first-page":"1","volume-title":"Experimental Mathematics","author":"Mazur","year":"1990"},{"key":"S0022481200009646_ref013","volume-title":"Hilbert's tenth problem","author":"Matiyasevich","year":"1993"},{"key":"S0022481200009646_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9356-6"},{"key":"S0022481200009646_ref015","first-page":"611","volume-title":"Proceedings of the American Mathematical Society","author":"Pheidas","year":"1988"},{"key":"S0022481200009646_ref016","first-page":"89","volume-title":"Acta Arithmeticae","author":"Pourchet","year":"1971"},{"key":"S0022481200009646_ref018","unstructured":"Prunescu Mihai , A structural approach to diophantine definability. Dissertation . Universit\u00e4t Konstanz, Hartungs-Gorre Verlag, Konstanz, 1999."},{"key":"S0022481200009646_ref004","doi-asserted-by":"publisher","DOI":"10.2307\/1970289"},{"key":"S0022481200009646_ref019","first-page":"139","volume-title":"Contemporary Mathematics","author":"Prunescu","year":"2000"},{"key":"S0022481200009646_ref020","first-page":"341","volume-title":"Transactions of the American Mathematical Society","author":"Rabin","year":"1960"},{"key":"S0022481200009646_ref021","volume-title":"Non-standard analysis","author":"Robinson","year":"1974"},{"key":"S0022481200009646_ref022","first-page":"950","volume-title":"Proceedings of the American Mathematical Society","author":"Robinson","year":"1959"},{"key":"S0022481200009646_ref025","first-page":"1113","article-title":"Extension of Hilbert's tenth problem to some algebraic number fields","volume":"XLII","author":"Shlapentokh","year":"1989","journal-title":"Communications of Pure and Applied Mathematics"},{"key":"S0022481200009646_ref026","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160430807"},{"key":"S0022481200009646_ref027","volume-title":"Mathematical logic","author":"Shoenfield","year":"1976"},{"key":"S0022481200009646_ref029","first-page":"877","volume-title":"Proceedings of the American Mathematical Society","author":"Zahidi","year":"2000"},{"key":"S0022481200009646_ref007","first-page":"148","article-title":"Diophantine sets over \u2124[T]","volume":"69","author":"Denef","year":"1978","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S0022481200009646_ref003","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1215\/ijm\/1255644636","article-title":"Diophantine sets over polynomial rings","volume":"7","author":"Davis","year":"1963","journal-title":"Illinois Journal of Mathematics"},{"key":"S0022481200009646_ref028","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75462-3"},{"key":"S0022481200009646_ref024","volume-title":"Diplomarbeit","author":"Sauerland","year":"1993"},{"key":"S0022481200009646_ref017","volume-title":"Einf\u00fchrung in die mathematische Logik und Modelltheorie","author":"Prestel","year":"1992"},{"key":"S0022481200009646_ref023","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1980-0583852-6"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T10:42:12Z","timestamp":1708425732000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009646\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["S0022481200009646"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1190150100","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}