{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T02:49:15Z","timestamp":1721530155971},"reference-count":6,"publisher":"Duke University Press","issue":"1","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-1626527","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T17:57:44Z","timestamp":1336586264000},"source":"Crossref","is-referenced-by-count":3,"title":["On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions"],"prefix":"10.1215","volume":"53","author":[{"given":"Hassan","family":"Sfouli","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Denef, J., and L. van den Dries, \"$p$\"-adic and real subanalytic sets\", <i>Annals of Mathematics. Second Series<\/i>, vol. 128 (1988), pp. 79\u2013138.","DOI":"10.2307\/1971463"},{"key":"2","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":"3","doi-asserted-by":"publisher","unstructured":"Gabrielov, A., \"Complements of subanalytic sets and existential formulas for analytic functions\", <i>Inventiones Mathematicae<\/i>, vol. 125 (1996), pp. 1\u201312.","DOI":"10.1007\/s002220050066"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Krantz, S. G., <i>Handbook of Complex Variables<\/i>, Birkh\u00e4user Boston Inc., Boston, 1999.","DOI":"10.1007\/978-1-4612-1588-2"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Tarski, A., <i>A Decision Method for Elementary Algebra and Geometry<\/i>, 2nd edition, University of California Press, Berkeley and Los Angeles, 1951.","DOI":"10.1525\/9780520348097"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Wilkie, A. J., \"Some local definability theory for holomorphic functions\", pp. 197\u2013213 in <i>Model Theory with Applications to Algebra and Analysis. Vol. 1<\/i>, vol. 349 of <i>London Mathematical Society Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 2008.","DOI":"10.1017\/CBO9780511735226.010"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1626527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:47Z","timestamp":1706648267000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-1\/On-the-Elementary-Theory-of-Restricted-Real-and-Imaginary-Parts\/10.1215\/00294527-1626527.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":6,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1626527","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}