✦ LIBER ✦

On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

✍ Scribed by Nicholas Bamber; Henryk Kotlarski

Publisher: John Wiley and Sons
Year: 1997
Tongue: English
Weight: 887 KB
Volume: 43
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19970430408

No coin nor oath required. For personal study only.

✦ Synopsis

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).

📜 SIMILAR VOLUMES

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

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

Interstitial and pseudo gaps in models o

Interstitial and pseudo gaps in models of Peano Arithmetic

✍ Ermek S. Nurkhaidarov 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 111 KB 👁 1 views

In this paper we study the automorphism groups of models of Peano Arithmetic. Kossak, Kotlarski, and Schmerl [9] shows that the stabilizer of an unbounded element a of a countable recursively saturated model of Peano Arithmetic M is a maximal subgroup of Aut(M ) if and only if the type of a is selec

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__

A standard model of Peano arithmetic wit

A standard model of Peano arithmetic with no conservative elementary extension

✍ Ali Enayat 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 723 KB

Substructure lattices and almost minimal

Substructure lattices and almost minimal end extensions of models of Peano arithmetic

✍ James H. Schmerl 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB 👁 1 views

## Abstract This paper concerns intermediate structure lattices Lt(𝒩/ℳ︁), where 𝒩 is an almost minimal elementary end extension of the model ℳ︁ of Peano Arithmetic. For the purposes of this abstract only, let us say that ℳ︁ attains __L__ if __L__ ≅ Lt(𝒩/ℳ︁) for some almost minimal elementary end ex