{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T22:40:37Z","timestamp":1711838437377},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":1197,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2010,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove that given any first order formula<jats:italic>\u03d5<\/jats:italic>in the language<jats:italic>L<\/jats:italic>\u2032 = {+, \u00b7, &lt;,(<jats:italic>f<jats:sub>i<\/jats:sub>)<jats:sub>i<\/jats:sub><\/jats:italic>\u0404<jats:italic>I<\/jats:italic>, (<jats:italic>c<jats:sub>i<\/jats:sub>)i<\/jats:italic>\u0404<jats:italic>I<\/jats:italic>}, where the<jats:italic>f<jats:sub>i<\/jats:sub><\/jats:italic>are unary function symbols and the<jats:italic>c<jats:sub>i<\/jats:sub><\/jats:italic>are constants, one can find an existential formula<jats:italic>\u03a8<\/jats:italic>such that<jats:italic>\u03c6<\/jats:italic>and<jats:italic>\u03a8<\/jats:italic>are equivalent in any<jats:italic>L<\/jats:italic>\u2032-structure<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200002334_inline1\" \/><\/jats:p>","DOI":"10.2178\/jsl\/1286198156","type":"journal-article","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T13:16:13Z","timestamp":1286198173000},"page":"1441-1461","source":"Crossref","is-referenced-by-count":1,"title":["Uniform model-completeness for the real field expanded by power functions"],"prefix":"10.1017","volume":"75","author":[{"given":"Tom","family":"Foster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200002334_ref003","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1994-1195484-5"},{"key":"S0022481200002334_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90048-5"},{"key":"S0022481200002334_ref001","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/bdn004"},{"key":"S0022481200002334_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1986-15468-6"},{"key":"S0022481200002334_ref009","first-page":"74","volume":"60","author":"van den Dries","year":"1995","journal-title":"T-convexity and tame extensions"},{"key":"S0022481200002334_ref008","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525919"},{"key":"S0022481200002334_ref007","first-page":"14","volume":"62","author":"van den Dries","year":"1997","journal-title":"T-convexity and tame extensions. II"},{"key":"S0022481200002334_ref004","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/oso\/9780198538622.003.0016","volume-title":"Logic: from foundations to applications (Staffordshire, 1993)","author":"Miller","year":"1996"},{"key":"S0022481200002334_ref005","volume-title":"Saturated model theory","author":"Sacks","year":"1972"},{"key":"S0022481200002334_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00216-0"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200002334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T22:24:20Z","timestamp":1711837460000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200002334\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["S0022481200002334"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1286198156","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}