✦ LIBER ✦

Infinite substructure lattices of models of Peano Arithmetic

✍ Scribed by Schmerl, James H.

Book ID: 124069236
Publisher: Association for Symbolic Logic
Year: 2010
Tongue: English
Weight: 206 KB
Volume: 75
Category: Article
ISSN: 0022-4812
DOI: 10.2178/jsl/1286198152

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

The Structure of Models of Peano Arithme

The Structure of Models of Peano Arithmetic

✍ Roman Kossak, Jim Schmerl 📂 Library 📅 2006 🏛 Oxford University Press, USA 🌐 English ⚖ 2 MB

Aimed at research logicians and mathematicians, this much-awaited monograph covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types reali

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. I

✍ Roman Murawski 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 562 KB

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. II

✍ Roman Murawski 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 584 KB

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. III

✍ Roman Murawski 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 349 KB

On Interstices of Countable Arithmetical

On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

✍ Nicholas Bamber; Henryk Kotlarski 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 887 KB

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