𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Definable Nonstandard Model of the Reals

✍ Scribed by Vladimir Kanovei and Saharon Shelah

Book ID
124978837
Publisher
Association for Symbolic Logic
Year
2004
Tongue
English
Weight
641 KB
Volume
69
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