A note on the multiplicative semigroup of models of Peano arithmetic

DOI10.2307/2274754zbMath0698.03026OpenAlexW2093233108MaRDI QIDQ3475260

Mark E. Nadel, James H. Schmerl, Roman Kossak

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274754

zbMATH Keywords

multiplicative semigroupadditive semigroupisomorphism typemodels of Peano Arithmeticuncountable models of PA

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Cites Work

• The completeness of Peano multiplication

This page was built for publication: A note on the multiplicative semigroup of models of Peano arithmetic