𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nonstandard models for arithmetic and analysis

✍ Scribed by Alexander Abian

Book ID
105469022
Publisher
Springer Netherlands
Year
1974
Tongue
English
Weight
552 KB
Volume
33
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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