𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On expandability of models of Peano arithmetic. I

✍ Scribed by Roman Murawski

Publisher
Springer Netherlands
Year
1976
Tongue
English
Weight
562 KB
Volume
35
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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