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

The Structure of Models of Peano Arithmetic

โœ Scribed by Roman Kossak, Jim Schmerl

Book ID
127450193
Publisher
Oxford University Press, USA
Year
2006
Tongue
English
Weight
2 MB
Series
Oxford Logic Guides
Category
Library
ISBN
1435619226

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.

๐Ÿ“œ 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

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