𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A correction to the paper “On expandability of models of Peano arithmetic. I”

✍ Scribed by Roman Murawski


Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
41 KB
Volume
36
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Expanding the additive reduct of a model
✍ Masahiko Murakami; Akito Tsuboi 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 124 KB 👁 2 views

## Abstract Let __M__ be a model of first order Peano arithmetic (**PA**) and __I__ an initial segment of __M__ that is closed under multiplication. Let__M__~0~ be the {0, 1,+}‐reduct of__M__. We show that there is another model __N__ of **PA** that is also an expansion of __M__~0~ such that __a__