✦ LIBER ✦

On expandability of models of Peano arithmetic. II

✍ Scribed by Roman Murawski

Publisher: Springer Netherlands
Year: 1976
Tongue: English
Weight: 584 KB
Volume: 35
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02123407

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. I

✍ Roman Murawski 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 562 KB

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. III

✍ Roman Murawski 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 349 KB

A correction to the paper “On expandabil

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

✍ Roman Murawski 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 41 KB

Expanding the additive reduct of a model

Expanding the additive reduct of a model of Peano arithmetic

✍ 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__

On Interstices of Countable Arithmetical

On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

✍ Nicholas Bamber; Henryk Kotlarski 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 887 KB

## Abstract We give some information about the action of Aut(M) on M(0), where M is a countable arithmetically saturated model of Peano Arithmetic. We concentrate on analogues of moving gaps and covering gaps inside M(0).

Nonstandard models that are definable in

Nonstandard models that are definable in models of Peano Arithmetic

✍ Kazuma Ikeda; Akito Tsuboi 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

## Abstract In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model __N__ without parameters in a model __M__, we show that __N__ is isomorphic to __M__ if __M__ is elementary extension of the standard model and __N__ is elementarily equivalen