{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:15:51Z","timestamp":1767140151620,"version":"build-2238731810"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T00:00:00Z","timestamp":1308355200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s00153-011-0241-z","type":"journal-article","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T23:32:54Z","timestamp":1308353574000},"page":"681-695","source":"Crossref","is-referenced-by-count":1,"title":["Limit computable integer parts"],"prefix":"10.1007","volume":"50","author":[{"given":"Paola","family":"D\u2019Aquino","sequence":"first","affiliation":[]},{"given":"Julia","family":"Knight","sequence":"additional","affiliation":[]},{"given":"Karen","family":"Lange","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,18]]},"reference":[{"key":"241_CR1","unstructured":"Asatryan, G.: On ordered fields with infinitely many integer parts, preprint (2008)"},{"key":"241_CR2","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy, Stud. Logic Found. Math, vol. 144","author":"C.J. Ash","year":"2000","unstructured":"Ash C.J., Knight J.F.: Computable Structures and the Hyperarithmetical Hierarchy, Stud. Logic Found. Math, vol. 144. Elsevier, Amsterdam (2000)"},{"key":"241_CR3","doi-asserted-by":"crossref","first-page":"1228","DOI":"10.2307\/2275813","volume":"61","author":"A. Berarducci","year":"1996","unstructured":"Berarducci A., Otero M.: A recursive nonstandard model of normal Open induction. J. Symb. Logic 61, 1228\u20131241 (1996)","journal-title":"J. Symb. Logic"},{"key":"241_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2178\/jsl\/1264433906","volume":"75","author":"P. D\u2019Aquino","year":"2010","unstructured":"D\u2019Aquino P., Knight J.F., Starchenko S.: Real closed fields and models of Peano arithmetic. J. Symb. Logic 75, 1\u201311 (2010)","journal-title":"J. Symb. Logic"},{"key":"241_CR5","unstructured":"Ershov, Yu.: A certain hierarchy of sets I, II, III, algebra and Logic, #1, vol. 7, pp. 47\u201374 (1968); #4, vol. 7, pp.15\u201347 (1968); #1, vol. 9, pp. 34\u201351 (1970)"},{"key":"241_CR6","unstructured":"Knight, J.F., Lange, K.: Countable real closed fields and developments of bounded length. preprint (2011)"},{"key":"241_CR7","volume-title":"Ordered Exponential Fields, Fields Insititute Monographs","author":"S. Kuhlmann","year":"2000","unstructured":"Kuhlmann S.: Ordered Exponential Fields, Fields Insititute Monographs. AMS, Providence, RI (2000)"},{"key":"241_CR8","doi-asserted-by":"crossref","first-page":"91","DOI":"10.2178\/jsl\/1190150031","volume":"67","author":"M. Moniri","year":"2002","unstructured":"Moniri M., Moniri M.: Some weak fragments of HA and certain closure properties. J. Symb. Log 67, 91\u2013103 (2002)","journal-title":"J. Symb. Log"},{"key":"241_CR9","doi-asserted-by":"crossref","first-page":"641","DOI":"10.2307\/2275224","volume":"58","author":"M.H. Mourgues","year":"1993","unstructured":"Mourgues M.H., Ressayre J.-P.: Every real closed field has an integer part. J. Symb. Logic 58, 641\u2013647 (1993)","journal-title":"J. Symb. Logic"},{"key":"241_CR10","first-page":"79","volume":"12","author":"J. Shepherdson","year":"1964","unstructured":"Shepherdson J.: A non-standard model for the free variable fragment of number theory. Bulletin de l\u2019Academie Polonaise Des Sciences 12, 79\u201386 (1964)","journal-title":"Bulletin de l\u2019Academie Polonaise Des Sciences"},{"key":"241_CR11","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry, US Air Force Project Rand Report R-109, (1948). Republished: Tarski, A. A Decision Method for Elementary Algebra and Geometry, 2nd edn., University of California Press, (1951)","DOI":"10.1525\/9780520348097"},{"key":"241_CR12","doi-asserted-by":"crossref","unstructured":"Wilkie, A.: Some results and problems on weak systems of arithmetic. In: Logic Colloquium \u201977. North Holland (1978)","DOI":"10.1016\/S0049-237X(08)72011-1"}],"updated-by":[{"DOI":"10.1007\/s00153-015-0418-y","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2015,2,28]],"date-time":"2015-02-28T00:00:00Z","timestamp":1425081600000}}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-011-0241-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-011-0241-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-011-0241-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,25]],"date-time":"2021-11-25T15:23:11Z","timestamp":1637853791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-011-0241-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,18]]},"references-count":12,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["241"],"URL":"https:\/\/doi.org\/10.1007\/s00153-011-0241-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,18]]}}}