{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T11:40:07Z","timestamp":1713958807129},"reference-count":16,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1715671","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T18:31:09Z","timestamp":1336588269000},"source":"Crossref","is-referenced-by-count":2,"title":["The Set of Restricted Complex Exponents for Expansions of the Reals"],"prefix":"10.1215","volume":"53","author":[{"given":"Michael A.","family":"Tychonievich","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"5","doi-asserted-by":"publisher","unstructured":"van den Dries, L., \"On the elementary theory of restricted elementary functions\", <i>The Journal of Symbolic Logic<\/i>, vol. 53 (1988), pp. 796\u2013808.","DOI":"10.2307\/2274572"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Ax, J., \"On Schanuel's conjectures\", <i>Annals of Mathematics. Second Series<\/i>, vol. 93 (1971), pp. 252\u201368.","DOI":"10.2307\/1970774"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Bianconi, R., \"Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function\", <i>The Journal of Symbolic Logic<\/i>, vol. 62 (1997), pp. 1173\u201378.","DOI":"10.2307\/2275634"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Bianconi, R., \"Undefinability results in o-minimal expansions of the real numbers\", <i>Annals of Pure and Applied Logic<\/i>, vol. 134 (2005), pp. 43\u201351.","DOI":"10.1016\/j.apal.2004.06.010"},{"key":"4","doi-asserted-by":"publisher","unstructured":"van den Dries, L., \"A generalization of the Tarski-Seidenberg theorem, and some nondefinability results\", <i>American Mathematical Society Bulletin. New Series<\/i>, vol. 15 (1986), pp. 189\u201393.","DOI":"10.1090\/S0273-0979-1986-15468-6"},{"key":"6","unstructured":"van den Dries, L., <i>Tame Topology and O-Minimal Structures<\/i>, vol. 248 of <i>London Mathematical Society Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 1998."},{"key":"7","doi-asserted-by":"publisher","unstructured":"Foster, T., \"Uniform model-completeness for the real field expanded by power functions\", <i>The Journal of Symbolic Logic<\/i>, vol. 75 (2010), pp. 1441\u201361.","DOI":"10.2178\/jsl\/1286198156"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Hieronymi, P., \"Defining the set of integers in expansions of the real field by a closed discrete set\", <i>Proceedings of the American Mathematical Society<\/i>, vol. 138 (2010), pp. 2163\u201368.","DOI":"10.1090\/S0002-9939-10-10268-8"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Kechris, A. S., <i>Classical Descriptive Set Theory<\/i>, vol. 156 of <i>Graduate Texts in Mathematics<\/i>, Springer-Verlag, New York, 1995.","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Miller, C., \"Expansions of the real field with power functions\", <i>Annals of Pure and Applied Logic<\/i>, vol. 68 (1994), pp. 79\u201394.","DOI":"10.1016\/0168-0072(94)90048-5"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Miller, C., \"A growth dichotomy for o-minimal expansions of ordered fields\", pp. 385\u201399 in <i>Logic: From Foundations to Applications (Staffordshire, 1993)<\/i>, Oxford Science Publications, Oxford University Press, New York, 1996.","DOI":"10.1093\/oso\/9780198538622.003.0016"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Miller, C., \"Tameness in expansions of the real field\", pp. 281\u2013316 in <i>Logic Colloquium '01<\/i>, vol. 20 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, Urbana, 2005.","DOI":"10.1201\/9781439865736-11"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Miller, C., \"Expansions of o-minimal structures on the real field by trajectories of linear vector fields\", <i>Proceedings of the American Mathematical Society<\/i>, vol. 139 (2011), pp. 319\u201330.","DOI":"10.1090\/S0002-9939-2010-10506-3"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Pillay, A., and C. Steinhorn, \"Definable sets in ordered structures\", <i>American Mathematical Society Bulletin. New Series<\/i>, vol. 11 (1984), pp. 159\u201362.","DOI":"10.1090\/S0273-0979-1984-15249-2"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Speissegger, P., \"The Pfaffian closure of an o-minimal structure\", <i>Journal f\u00fcr die Reine und Angewandte Mathematik<\/i>, vol. 508 (1999), pp. 189\u2013211.","DOI":"10.1515\/crll.1999.508.189"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Wilkie, A. J., \"Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function\", <i>Journal of the American Mathematical Society<\/i>, vol. 9 (1996), pp. 1051\u201394.","DOI":"10.1090\/S0894-0347-96-00216-0"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1715671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T11:19:47Z","timestamp":1713957587000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-2\/The-Set-of-Restricted-Complex-Exponents-for-Expansions-of-the\/10.1215\/00294527-1715671.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":16,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1715671","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}