{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:14Z","timestamp":1759146374764},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T00:00:00Z","timestamp":1441670400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Maloa","award":["238381"],"award-info":[{"award-number":["238381"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1007\/s00153-015-0446-7","type":"journal-article","created":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T12:14:59Z","timestamp":1441714499000},"page":"885-898","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two"],"prefix":"10.1007","volume":"54","author":[{"given":"Mohsen","family":"Khani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,8]]},"reference":[{"issue":"1","key":"446_CR1","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/s11856-012-0061-9","volume":"194","author":"A. Chernikov","year":"2013","unstructured":"Chernikov A., Simon P.: Externally definable sets and dependent pairs. Isr. J. Math. 194(1), 409\u2013425 (2013)","journal-title":"Isr. J. Math."},{"key":"446_CR2","doi-asserted-by":"crossref","unstructured":"van den Dries, L.: The field of reals with a predicate for the powers of two. Manuscr. Math. 54, 187\u2013195 (1985). doi: 10.1007\/BF01171706","DOI":"10.1007\/BF01171706"},{"key":"446_CR3","unstructured":"van den Dries, L.: Dense pairs of o-minimal structures. Fund. Math. 157(1), 61\u201378 (1998)"},{"issue":"7","key":"446_CR4","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1016\/j.apal.2011.01.003","volume":"162","author":"A. Fornasiero","year":"2011","unstructured":"Fornasiero A.: Dimensions, matroids, and dense pairs of first-order structures. Ann. Pure Appl. Logic 162(7), 514\u2013543 (2011)","journal-title":"Ann. Pure Appl. Logic"},{"key":"446_CR5","unstructured":"Fornasiero, A.: Tame structures and open core. arXiv:1003.3557 (2010)"},{"key":"446_CR6","unstructured":"Gunaydin, A.: Model Theory of Fields with Multiplicative Groups. University of Illinois at Urbana-Champaign, Illinois (2008)"},{"issue":"2","key":"446_CR7","doi-asserted-by":"crossref","first-page":"377","DOI":"10.2178\/jsl\/1305810753","volume":"76","author":"A. G\u00fcnaydin","year":"2011","unstructured":"G\u00fcnaydin A., Hieronymi P.: Dependent pairs. J. Symb. Logic 76(2), 377\u2013390 (2011)","journal-title":"J. Symb. Logic"},{"key":"446_CR8","doi-asserted-by":"crossref","unstructured":"Hart, B.T., Lachlan, A.H., Valeriote, M.: Algebraic Model Theory. NATO Advanced Study Institutes Series. Series C, Mathematical and Physical Sciences. Kluwer Academic, London (1997)","DOI":"10.1007\/978-94-015-8923-9"},{"issue":"6","key":"446_CR9","doi-asserted-by":"crossref","first-page":"2163","DOI":"10.1090\/S0002-9939-10-10268-8","volume":"138","author":"P. Hieronymi","year":"2010","unstructured":"Hieronymi P.: Defining the set of integers in expansions of the real field by a closed discrete set. Proc. Am. Math. Soc. 138(6), 2163\u20132168 (2010)","journal-title":"Proc. Am. Math. Soc."},{"key":"446_CR10","doi-asserted-by":"crossref","unstructured":"Miller, C.: A growth dichotomy for o-minimal expansions of ordered fields. In: Logic: From Foundations to Applications (Staffordshire, 1993). Oxford Science Publishers, pp. 385\u2013399. Oxford University Press, New York (1996)","DOI":"10.1093\/oso\/9780198538622.003.0016"},{"key":"446_CR11","doi-asserted-by":"crossref","unstructured":"Miller, C.: Tameness in expansions of the real field. In: Logic Colloquium. Lecture Notes in Logic, vol. 20, pp. 281\u2013316. ASL, Urbana (2005)","DOI":"10.1017\/9781316755860.012"},{"issue":"4","key":"446_CR12","doi-asserted-by":"crossref","first-page":"1051","DOI":"10.1090\/S0894-0347-96-00216-0","volume":"9","author":"A.J. Wilkie","year":"1996","unstructured":"Wilkie A.J.: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Am. Math. Soc. 9(4), 1051\u20131094 (1996)","journal-title":"J. Am. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0446-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0446-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0446-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T00:29:03Z","timestamp":1718065743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0446-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,8]]},"references-count":12,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["446"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0446-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,8]]}}}