๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Intersection of Nonstandard Models of Arithmetic

โœ Scribed by Andreas Blass

Book ID
124972703
Publisher
Association for Symbolic Logic
Year
1972
Tongue
English
Weight
478 KB
Volume
37
Category
Article
ISSN
0022-4812

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