{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T16:55:13Z","timestamp":1695833713371},"reference-count":4,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11515,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1982,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study reducts of Peano arithmetic for which conditions of saturation imply the corresponding conditions for the whole model. It is shown that very weak reducts (like pure order) have such a property for <jats:italic>\u03ba<\/jats:italic>-saturation in every <jats:italic>\u03ba<\/jats:italic> \u2265 <jats:italic>\u03c9<\/jats:italic><jats:sub>1<\/jats:sub>. In contrast, other reducts do the job for <jats:italic>\u03c9<\/jats:italic> and not for <jats:italic>\u03ba<\/jats:italic> &gt; <jats:italic>\u03c9<\/jats:italic><jats:sub>1<\/jats:sub>. This solves negatively a conjecture of Chang.<\/jats:p>","DOI":"10.2307\/2273592","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:00:58Z","timestamp":1146952858000},"page":"625-637","source":"Crossref","is-referenced-by-count":10,"title":["Saturated models of Peano arithmetic"],"prefix":"10.1017","volume":"47","author":[{"given":"J. F.","family":"Pabion","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200043991_ref004","volume-title":"Mathematical logic","author":"Shoenfield","year":"1967"},{"key":"S0022481200043991_ref003","unstructured":"Richard D. , Th\u00e8se de 3\u00ae Cycle, Universit\u00e9 Claude-Bernard-Lyon, 1979."},{"key":"S0022481200043991_ref002","unstructured":"Lucas F. , Th\u00e8se de 3\u00ae Cycle, Universit\u00e9 de Paris VII, Paris."},{"key":"S0022481200043991_ref001","volume-title":"Model theory","author":"Chang","year":"1973"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200043991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T20:47:41Z","timestamp":1558730861000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200043991\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,9]]},"references-count":4,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,9]]}},"alternative-id":["S0022481200043991"],"URL":"https:\/\/doi.org\/10.2307\/2273592","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,9]]}}}