{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:14:39Z","timestamp":1770279279985,"version":"3.49.0"},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":959,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2011,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper surveys the recent developments in the area that grew out of attempts to solve an analog of Hilbert's Tenth Problem for the field of rational numbers and the rings of integers of number fields. It is based on a plenary talk the author gave at the annual North American meeting of ASL at the University of Notre Dame in May of 2009.<\/jats:p>","DOI":"10.2178\/bsl\/1305810912","type":"journal-article","created":{"date-parts":[[2011,5,19]],"date-time":"2011-05-19T13:24:55Z","timestamp":1305811495000},"page":"230-251","source":"Crossref","is-referenced-by-count":8,"title":["Defining Integers"],"prefix":"10.1017","volume":"17","author":[{"given":"Alexandra","family":"Shlapentokh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600000548_ref032","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542954"},{"key":"S1079898600000548_ref008","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-18.3.385"},{"key":"S1079898600000548_ref031","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-314X(01)92759-3"},{"key":"S1079898600000548_ref003","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/270\/04377"},{"key":"S1079898600000548_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-010-0252-0"},{"key":"S1079898600000548_ref021","first-page":"344","article-title":"Undecidability in number theory","volume":"55","author":"Poonen","year":"2008","journal-title":"Notices in the American Mathematical Society"},{"key":"S1079898600000548_ref033","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-08-04302-X"},{"key":"S1079898600000548_ref030","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/270\/04370"},{"key":"S1079898600000548_ref036","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-1920-8"},{"key":"S1079898600000548_ref015","doi-asserted-by":"publisher","DOI":"10.2307\/2275395"},{"key":"S1079898600000548_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45455-1_4"},{"key":"S1079898600000548_ref023","unstructured":"Poonen Bjorn , Elliptic curves whose rank does not grow and Hilbert's tenth problem over the rings of integers, private communication."},{"key":"S1079898600000548_ref025","doi-asserted-by":"publisher","DOI":"10.2307\/2266510"},{"key":"S1079898600000548_ref012","volume-title":"Model theory","volume":"217","author":"Marker","year":"2002"},{"key":"S1079898600000548_ref027","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160420703"},{"key":"S1079898600000548_ref026","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S1079898600000548_ref024","doi-asserted-by":"publisher","DOI":"10.1515\/crll.2005.2005.588.27"},{"key":"S1079898600000548_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/104"},{"key":"S1079898600000548_ref020","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-03-00433-8"},{"key":"S1079898600000548_ref004","doi-asserted-by":"publisher","DOI":"10.1515\/CRELLE.2007.089"},{"key":"S1079898600000548_ref001","doi-asserted-by":"publisher","DOI":"10.5802\/jtnb.516"},{"key":"S1079898600000548_ref029","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-00-10115-9"},{"key":"S1079898600000548_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/028.2\/0432534"},{"key":"S1079898600000548_ref007","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":"S1079898600000548_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-008-0118-y"},{"key":"S1079898600000548_ref018","first-page":"611","article-title":"Hilbert's tenth problem for a class ofrings of algebraic integers","volume":"104","author":"Pheidas","year":"1988","journal-title":"Proceedings of American Mathematical Society"},{"key":"S1079898600000548_ref013","volume-title":"Hilbert's tenth problem","author":"Matiyasevich","year":"1993"},{"key":"S1079898600000548_ref009","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/270"},{"key":"S1079898600000548_ref005","doi-asserted-by":"publisher","DOI":"10.2307\/2318447"},{"key":"S1079898600000548_ref016","volume-title":"Galois representations in arithmetic algebraic geometry","author":"Mazur","year":"1998"},{"key":"S1079898600000548_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-08-09740-2"},{"key":"S1079898600000548_ref014","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":"S1079898600000548_ref035","unstructured":"Shlapentokh Alexandra , Using indices of points on an elliptic curve to construct a diophantine model of \u2124 and define \u2124 using one universal quantifier in very large subrings of number fields, including \u211a, arXiv:090l.4168v1 [math.NT]."},{"key":"S1079898600000548_ref022","doi-asserted-by":"publisher","DOI":"10.1353\/ajm.0.0057"},{"key":"S1079898600000548_ref002","first-page":"199","article-title":"Defining the integers in large rings of number fields using one universal quantifier","volume":"358","author":"Cornelissen","year":"2008","journal-title":"Zapiski Nauchnykh Seminarov POMI"},{"key":"S1079898600000548_ref028","doi-asserted-by":"publisher","DOI":"10.1007\/s002220050170"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600000548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T21:12:20Z","timestamp":1712437940000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600000548\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["S1079898600000548"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1305810912","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}