Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093233108> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2093233108 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 of , the function x ↦ p x is an isomorphism of the additive semigroup with the multiplicative subsemigroup of powers of p . It was observed by Jensen and Ehrenfeucht [3] that for countable 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.) 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 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 ♢. For completeness, a sketch of the proof of the Jensen-Ehrenfeucht result is included. 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." @default.
- W2093233108 created "2016-06-24" @default.
- W2093233108 creator A5030170691 @default.
- W2093233108 creator A5074274651 @default.
- W2093233108 creator A5091663311 @default.
- W2093233108 date "1989-09-01" @default.
- W2093233108 modified "2023-09-27" @default.
- W2093233108 title "A note on the multiplicative semigroup of models of Peano arithmetic" @default.
- W2093233108 cites W194895927 @default.
- W2093233108 cites W1989937886 @default.
- W2093233108 cites W2021327566 @default.
- W2093233108 cites W2037709165 @default.
- W2093233108 cites W44126761 @default.
- W2093233108 cites W98284338 @default.
- W2093233108 doi "https://doi.org/10.2307/2274754" @default.
- W2093233108 hasPublicationYear "1989" @default.
- W2093233108 type Work @default.
- W2093233108 sameAs 2093233108 @default.
- W2093233108 citedByCount "0" @default.
- W2093233108 crossrefType "journal-article" @default.
- W2093233108 hasAuthorship W2093233108A5030170691 @default.
- W2093233108 hasAuthorship W2093233108A5074274651 @default.
- W2093233108 hasAuthorship W2093233108A5091663311 @default.
- W2093233108 hasConcept C110729354 @default.
- W2093233108 hasConcept C114614502 @default.
- W2093233108 hasConcept C115624301 @default.
- W2093233108 hasConcept C118615104 @default.
- W2093233108 hasConcept C134306372 @default.
- W2093233108 hasConcept C178790620 @default.
- W2093233108 hasConcept C185592680 @default.
- W2093233108 hasConcept C18903297 @default.
- W2093233108 hasConcept C202444582 @default.
- W2093233108 hasConcept C203436722 @default.
- W2093233108 hasConcept C206929604 @default.
- W2093233108 hasConcept C207405024 @default.
- W2093233108 hasConcept C21112865 @default.
- W2093233108 hasConcept C2777299769 @default.
- W2093233108 hasConcept C2779483109 @default.
- W2093233108 hasConcept C2781311116 @default.
- W2093233108 hasConcept C33923547 @default.
- W2093233108 hasConcept C40417594 @default.
- W2093233108 hasConcept C42747912 @default.
- W2093233108 hasConcept C45962547 @default.
- W2093233108 hasConcept C8010536 @default.
- W2093233108 hasConcept C86115822 @default.
- W2093233108 hasConcept C86803240 @default.
- W2093233108 hasConcept C92788228 @default.
- W2093233108 hasConcept C97489613 @default.
- W2093233108 hasConceptScore W2093233108C110729354 @default.
- W2093233108 hasConceptScore W2093233108C114614502 @default.
- W2093233108 hasConceptScore W2093233108C115624301 @default.
- W2093233108 hasConceptScore W2093233108C118615104 @default.
- W2093233108 hasConceptScore W2093233108C134306372 @default.
- W2093233108 hasConceptScore W2093233108C178790620 @default.
- W2093233108 hasConceptScore W2093233108C185592680 @default.
- W2093233108 hasConceptScore W2093233108C18903297 @default.
- W2093233108 hasConceptScore W2093233108C202444582 @default.
- W2093233108 hasConceptScore W2093233108C203436722 @default.
- W2093233108 hasConceptScore W2093233108C206929604 @default.
- W2093233108 hasConceptScore W2093233108C207405024 @default.
- W2093233108 hasConceptScore W2093233108C21112865 @default.
- W2093233108 hasConceptScore W2093233108C2777299769 @default.
- W2093233108 hasConceptScore W2093233108C2779483109 @default.
- W2093233108 hasConceptScore W2093233108C2781311116 @default.
- W2093233108 hasConceptScore W2093233108C33923547 @default.
- W2093233108 hasConceptScore W2093233108C40417594 @default.
- W2093233108 hasConceptScore W2093233108C42747912 @default.
- W2093233108 hasConceptScore W2093233108C45962547 @default.
- W2093233108 hasConceptScore W2093233108C8010536 @default.
- W2093233108 hasConceptScore W2093233108C86115822 @default.
- W2093233108 hasConceptScore W2093233108C86803240 @default.
- W2093233108 hasConceptScore W2093233108C92788228 @default.
- W2093233108 hasConceptScore W2093233108C97489613 @default.
- W2093233108 hasLocation W20932331081 @default.
- W2093233108 hasOpenAccess W2093233108 @default.
- W2093233108 hasPrimaryLocation W20932331081 @default.
- W2093233108 hasRelatedWork W10259722 @default.
- W2093233108 hasRelatedWork W1491714 @default.
- W2093233108 hasRelatedWork W1898301872 @default.
- W2093233108 hasRelatedWork W1971438080 @default.
- W2093233108 hasRelatedWork W1998072591 @default.
- W2093233108 hasRelatedWork W2014999526 @default.
- W2093233108 hasRelatedWork W2041999243 @default.
- W2093233108 hasRelatedWork W2042415135 @default.
- W2093233108 hasRelatedWork W2051458286 @default.
- W2093233108 hasRelatedWork W2075746519 @default.
- W2093233108 hasRelatedWork W2077791469 @default.
- W2093233108 hasRelatedWork W2167651941 @default.
- W2093233108 hasRelatedWork W2347015625 @default.
- W2093233108 hasRelatedWork W2417237987 @default.
- W2093233108 hasRelatedWork W2495257699 @default.
- W2093233108 hasRelatedWork W2502556751 @default.
- W2093233108 hasRelatedWork W2598392658 @default.
- W2093233108 hasRelatedWork W2599907388 @default.
- W2093233108 hasRelatedWork W2949780923 @default.
- W2093233108 hasRelatedWork W3130894803 @default.
- W2093233108 isParatext "false" @default.
- W2093233108 isRetracted "false" @default.
- W2093233108 magId "2093233108" @default.
- W2093233108 workType "article" @default.