Models of Peano arithmetic as modules over initial segments

DOI10.21099/TKBJM/1496164891MaRDI QIDQ819263zbMATH OpenOpenAlexFDO

Authors Nobuya Suzuki

Publication date 28 March 2006

Published in Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21099/tkbjm/1496164891

zbMATH Keywords

Peano arithmeticnonstandard modeladditive reductmultiplicative reduct

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Expanding the additive reduct of a model of Peano arithmetic
• A note on the multiplicative semigroup of models of Peano arithmetic
• Some remarks on initial segments in models of Peano arithmetic
• scientific article; zbMATH DE number 4012612
• Strong initial segments of models of IΔ₀

Cited in

(5)

• A wild model of linear arithmetic and discretely ordered modules
• A note on the multiplicative semigroup of models of Peano arithmetic
• Model-theoretic properties characterizing Peano arithmetic
• On the structure of initial segments of models of arithmetic
• Expanding the additive reduct of a model of Peano arithmetic

This page was built for publication: Models of Peano arithmetic as modules over initial segments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q819263)