{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T08:16:18Z","timestamp":1693642578393},"reference-count":25,"publisher":"Wiley","issue":"25-30","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":7621,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1986,1]]},"DOI":"10.1002\/malq.19860322504","type":"journal-article","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T23:44:41Z","timestamp":1180395881000},"page":"399-406","source":"Crossref","is-referenced-by-count":0,"title":["Classification of Quantifier Prefixes Over Exponential Diophantine Equations"],"prefix":"10.1002","volume":"32","author":[{"given":"J. P.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Levitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. J.","family":"Wilkie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90044-2"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02945125"},{"key":"e_1_2_1_4_2","unstructured":"Davis M. On the theory of recursive unsolvability. Doctoral Dissertation Princeton University1950."},{"key":"e_1_2_1_5_2","first-page":"395","article-title":"Note on quantifier prefixes over diophantine equations","volume":"32","author":"Delzell Ch. N.","year":"1986","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_6_2","first-page":"385","article-title":"Equational theory of positive numbers with exponentiation is decidable","volume":"3","author":"Gurevich R. G.","year":"1982","journal-title":"Proc. Amer. Math. Soc."},{"key":"e_1_2_1_7_2","article-title":"The equational theory of positive numbers with exponentiation is not finitely axiomatizable","author":"Gurevich R. G.","journal-title":"Ann. Pure Appl. Logic"},{"key":"e_1_2_1_8_2","volume-title":"Orders of Infinity: The \u201cInfinit\u00e4rcalc\u00fcl\u201d of Paul du Bois\u2010Reymond","author":"Hardy G. H.","year":"1924"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.2307\/1999575"},{"key":"e_1_2_1_10_2","first-page":"403","article-title":"Classification of quantifier prefixes over diophantine equations","volume":"27","author":"Jones J. P.","year":"1981","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71882-2"},{"key":"e_1_2_1_12_2","first-page":"109","article-title":"Decidability of some problems pertaining to base 2 exponential diophantine equations","volume":"31","author":"Levitz H.","year":"1985","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_13_2","first-page":"185","article-title":"The laws of exponentiations","volume":"890","author":"Macintyre A.","year":"1981","journal-title":"In: Model Theory and Arithmetic, Springer\u2010Lecture Notes in Mathematics"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70352-0"},{"key":"e_1_2_1_15_2","first-page":"69","volume-title":"Issledovanija po Teorii Algoritmov i Matemati\u010deskoi Logike","author":"Matijasevi\u010d Y. V.","year":"1979"},{"key":"e_1_2_1_16_2","first-page":"112","volume-title":"Theory of Algorithms and Mathematical Logic","author":"Matijasevi\u010d Y. V.","year":"1974"},{"key":"e_1_2_1_17_2","first-page":"333","article-title":"Solution of the identity problem for integral exponential functions","volume":"15","author":"Richardson D.","year":"1969","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_18_2","first-page":"133","article-title":"The simple exponential constant problem","volume":"17","author":"Richardson D.","year":"1971","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-28.1.46"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.2307\/2268755"},{"key":"e_1_2_1_21_2","unstructured":"Tung Shih\u2010Ping On weak number theories. Ph. D. Thesis University of Illinois Urbana Illinois1983."},{"key":"e_1_2_1_22_2","unstructured":"TungShih\u2010Ping Computational complexities for diophantine equations with parameters. Preprint1985."},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1984.113.51"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.2307\/1999409"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.2307\/2046179"},{"key":"e_1_2_1_26_2","unstructured":"Wilkie A. J. On exponentiation a solution to Tarski's high school algebra problem. Preprint."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19860322504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19860322504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T23:44:02Z","timestamp":1693611842000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19860322504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,1]]},"references-count":25,"journal-issue":{"issue":"25-30","published-print":{"date-parts":[[1986,1]]}},"alternative-id":["10.1002\/malq.19860322504"],"URL":"https:\/\/doi.org\/10.1002\/malq.19860322504","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,1]]}}}