{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T07:22:54Z","timestamp":1701156174122},"reference-count":11,"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":8958,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1989,9]]},"abstract":"In a model of Peano arithmetic, the isomorphism type of the multiplicative semigroup uniquely determines the isomorphism type of the additive semigroup. In fact, for any prime p<\/jats:italic> of , the function x<\/jats:italic> \u21a6 px<\/jats:sup><\/jats:italic> is an isomorphism of the additive semigroup with the multiplicative subsemigroup of powers of p<\/jats:italic>. It was observed by Jensen and Ehrenfeucht [3] that for countable<\/jats:italic> models of PA, the isomorphism type of the additive semigroup (or even the additive group) determines the isomorphism type of the multiplicative semigroup. (See Theorem 3 below.)<\/jats:p>In this note we will show that the countability restriction cannot be dropped. First, we show (as Theorem 2) that for uncountable models of PA the isomorphism type of the additive group never<\/jats:italic> determines the isomorphism type of the multiplicative semigroup. Our main result is Theorem 5 in which we show that the isomorphism type of the additive semigroup need not determine the isomorphism type of the multiplicative semigroup, thereby improving upon Harnik [2], where Theorem 5 is proved under the assumption of \u2662. For completeness, a sketch of the proof of the Jensen-Ehrenfeucht result is included.<\/jats:p>The history of this paper begins with Nadel's question, asked in 1981, whether the countability assumption can be eliminated in the Jensen-Ehrenfeucht theorem. Soon afterwards, Nadel obtained the strong counterexample of Theorem 2, which applied to the additive group rather than the additive semigroup. A result of Pabion [8] shows that such a strong result is not possible for the additive semigroup.<\/jats:p>","DOI":"10.2307\/2274754","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:31:33Z","timestamp":1146954693000},"page":"936-940","source":"Crossref","is-referenced-by-count":2,"title":["A note on the multiplicative semigroup of models of Peano arithmetic"],"prefix":"10.1017","volume":"54","author":[{"given":"Roman","family":"Kossak","sequence":"first","affiliation":[]},{"given":"Mark","family":"Nadel","sequence":"additional","affiliation":[]},{"given":"James","family":"Schmerl","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200041633_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090952"},{"key":"S0022481200041633_ref005","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1978-0491158-5"},{"key":"S0022481200041633_ref004","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1977-0476498-7"},{"key":"S0022481200041633_ref003","doi-asserted-by":"publisher","DOI":"10.4064\/fm-92-3-223-245"},{"key":"S0022481200041633_ref002","first-page":"421","volume":"51","author":"Harnik","year":"1986","journal-title":"\u03c91-like recursively saturated models of Presburger arithmetic"},{"key":"S0022481200041633_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095657"},{"key":"S0022481200041633_ref010","first-page":"92","volume-title":"Comptes-rendus du I congr\u00e8s des math\u00e9maticiens des pays slaves (Warsaw, 1929)","author":"Presburger","year":"1930"},{"key":"S0022481200041633_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066013"},{"key":"S0022481200041633_ref006","first-page":"257","volume-title":"Infinitistic methods (symposium, Warsaw, 1959)","author":"MacDowell"},{"key":"S0022481200041633_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BF02760851"},{"key":"S0022481200041633_ref008","first-page":"625","volume":"47","author":"Pabion","year":"1982","journal-title":"Saturated models of Peano arithmetic"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200041633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:52:35Z","timestamp":1558295555000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200041633\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,9]]}},"alternative-id":["S0022481200041633"],"URL":"https:\/\/doi.org\/10.2307\/2274754","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,9]]}}}