The paper presents an outline of the general theory of countable arithmetically saturated models of PA and some of its applications. We consider questions concerning the automorphism group of a countable recursively saturated model of PA. We prove new results concerning fixed point sets, open subgroups, and the cofinality of the automorphism group. We also prove that the standard system of a countable arithmetically saturated model of PA is determined by the lattice of its elementary substructures.

A model M of PA has the omega-property if it has a subset of order type omega that is coded in an elementary end extension of M. All countable recursively saturated models have the omega-property, but there are also models with the omega-property that are not recursively saturated. The papers is devoted to the study of structural properties of such models.

We prove a number of results concerning the variety of first-order theories and isomorphism types of pairs of the form $(N,M)$ , where $N$ is a countable recursively saturated model of Peano Arithmetic and $M$ is its cofinal submodel. We identify two new isomorphism invariants for such pairs. In the strongest result we obtain continuum many theories of such pairs with the fixed greatest common initial segment of $N$ and $M$ and fixed lattice of interstructures $K$ , such that $M\prec (...) K\prec N$. (shrink)

The paper presents four open problems concerning recursively saturated models of Peano Arithmetic. One problems concerns a possible converse to Tarski's undefinability of truth theorem. The other concern elementary cuts in countable recursively saturated models, extending automorphisms of countable recursively saturated models, and Jonsson models of PA. Some partial answers are given.

In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...) relative to a neighbourhood system, which is studied in more detail. The main new result on generic cuts presented here is a description of truth in the structure , where I is a generic cut of a model M of Peano arithmetic. The special case of elementary generic cuts provides a partial answer to a question of Kossak [R. Kossak, Four problems concerning recursively saturated models of arithmetic, Notre Dame Journal of Formal Logic 36 519–530]. (shrink)