𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Appendix to the paper “Definable sets and expansions of models of Peano arithmetic”

✍ Scribed by Roman Murawski

Publisher
Springer
Year
1990
Tongue
English
Weight
95 KB
Volume
30
Category
Article
ISSN
0933-5846

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

The Recursively Saturated Part of Models
The Recursively Saturated Part of Models of Peano Arithmetic
✍ Henryk Kotlarski 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 403 KB 👁 1 views

PA we define the rfcursively saturated part of XU by RS(9Jl) = ( a E $1: ( 3 8 < YJ?) ( a E )%I and 8 is recursively saturated)). We shall study various possibilities for the relationship between 912 and RS(XU). Tliii paper has grown out of our observation that it may happen that , D is a simple ex

Some Properties of the Family of Expansi
Some Properties of the Family of Expansions to Models of A/Δ + Σ-AC
✍ Roman Murawski 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 541 KB

In [71 we have studied particular expansions of nonstandard models M of Peano arithmetic PA to models of a fragment T of the second order arithmetic A; which consists of axioms of Peano arithmetic with the axiom of induction, d!-comprehension axiom (A:-CA) and a I;:-axiom scheme of choice (C:-AC) (i