We construct a model of Peano arithmetic in an uncountable language which has no elementary end extension. This answers a question of Gaifman and contrasts with the well-known theorem of MacDowell and Specker which states that every model of Peano arithmetic in a countable language has an elementary end extension. The construction employs forcing in a nonstandard model.

We study reducts of Peano arithmetic for which conditions of saturation imply the corresponding conditions for the whole model. It is shown that very weak reducts (like pure order) have such a property for κ-saturation in every κ ≥ ω 1 . In contrast, other reducts do the job for ω and not for $\kappa > \omega_1$ . This solves negatively a conjecture of Chang.

We give some information about the action of Aut on M, where M is a countable arithmetically saturated model of Peano Arithmetic. We concentrate on analogues of moving gaps and covering gaps inside M.

Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...) also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA. (shrink)

The principal result of this paper answers a long-standing question in the model theory of arithmetic [R. Kossak, J. Schmerl, The Structure of Models of Peano Arithmetic, Oxford University Press, 2006, Question 7] by showing that there exists an uncountable arithmetically closed family of subsets of the set ω of natural numbers such that the expansion of the standard model of Peano arithmetic has no conservative elementary extension, i.e., for any elementary extension of , (...) there is a subset of ω* that is parametrically definable in but whose intersection with ω is not a member of . We also establish other results that highlight the role of countability in the model theory of arithmetic. Inspired by a recent question of Gitman and Hamkins, we furthermore show that the aforementioned family can be arranged to further satisfy the curious property that forcing with the quotient Boolean algebra collapses 1 when viewed as a notion of forcing. (shrink)

A model $\mathscr{M} = (M,+,\times, 0,1,<)$ of Peano Arithmetic $({\sf PA})$ is boundedly saturated if and only if it has a saturated elementary end extension $\mathscr{N}$. The ordertypes of boundedly saturated models of $({\sf PA})$ are characterized and the number of models having these ordertypes is determined. Pairs $(\mathscr{N},M)$, where $\mathscr{M} \prec_{\sf end} \mathscr{N} \models({\sf PA})$ for saturated $\mathscr{N}$, and their theories are investigated. One result is: If $\mathscr{N}$ is a $\kappa$-saturated model of $({\sf PA})$ (...) and $\mathscr{M}_0, \mathscr{M}_1 \prec_{\sf end} \mathscr{N}$ are such that $\aleph_1 \leq \mathrm{min}(\mathrm{cf}(M_0),\mathrm{dcf}(M_0)) \leq \mathrm{min}(\mathrm{cf}(M_1), \mathrm{dcf}(M_1)) < \kappa$, then $(\mathscr{N},M_0) \equiv (\mathscr{N},M_1)$. (shrink)

Bounded lattices (that is lattices that are both lower bounded and upper bounded) form a large class of lattices that include all distributive lattices, many nondistributive finite lattices such as the pentagon lattice N₅, and all lattices in any variety generated by a finite bounded lattice. Extending a theorem of Paris for distributive lattices, we prove that if L is an ℵ₀-algebraic bounded lattice, then every countable nonstandard model ������ of Peano Arithmetic has a cofinal elementary extension ������ (...) such that the interstructure lattice Lt(������ / ������) is isomorphic to L. (shrink)

In response to Bhupinder Singh Anand''s article CAN WE REALLY FALSIFY TRUTH BY DICTAT? in THE REASONER II, 1, January 2008,that denies the existence of nonstandard models of Peano Arithmetic, we prove from Compactness the existence of such models.

Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups.

We study notions of genericity in models of, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model‐theoretic contexts. These papers studied the theories obtained by adding a “random” predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these (...) subsets in models of as CP‐generics. We study a more natural property, called strong CP‐genericity, which implies CP‐genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP‐generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged. (shrink)

We give a sufficient condition for a countable model M of PA to be expandable to an ω-model of AST with absolute Ω-orderings. The condition is in terms of saturation schemes or, equivalently, in terms of the ability of the model to code sequences which have some kind of definition in (M, ω). We also show that a weaker scheme of saturation leads to the existence of wellorderings of the model with nice properties. Finally, we answer affirmatively the question of (...) whether the intersection of all β-expansions of a β-expandable model M is the set RA(M, ω)--the ramified analytical hierarchy over (M, ω). The results are based on forcing constructions. (shrink)

Wilkie proved in 1977 that every countable model ${\mathcal M}$ of Peano Arithmetic has an elementary end extension ${\mathcal N}$ such that the interstructure lattice $\operatorname {\mathrm {Lt}}({\mathcal N} / {\mathcal M})$ is the pentagon lattice ${\mathbf N}_5$. This theorem implies that every countable nonstandard ${\mathcal M}$ has an elementary cofinal extension ${\mathcal N}$ such that $\operatorname {\mathrm {Lt}}({\mathcal N} / {\mathcal M}) \cong {\mathbf N}_5$. It is proved here that whenever ${\mathcal M} \prec {\mathcal N} \models (...) \mathsf {PA}$ and $\operatorname {\mathrm {Lt}}({\mathcal N} / {\mathcal M}) \cong {\mathbf N}_5$, then ${\mathcal N}$ must be either an end or a cofinal extension of ${\mathcal M}$. In contrast, there are ${\mathcal M}^* \prec {\mathcal N}^* \models \mathsf {PA}^*$ such that $\operatorname {\mathrm {Lt}}({\mathcal N}^* / {\mathcal M}^*) \cong {\mathbf N}_5$ and ${\mathcal N}^*$ is neither an end nor a cofinal extension of ${\mathcal M}^*$. (shrink)

Already after sending the first two parts of this paper ([5], [6]) to the editor, two new results on the subject have appeared — namely the results of G. Wilmers and Z. Ratajczyk. So for the sake of completeness let us review them here.

The paper is concerned with the old conjecture that there are infinitely many twin primes. In the paper we show that this conjecture is true, that is, it is true in the standard model of arithmetic. The proof is based on Rasiowa–Sikorski Lemma. The key role are played by the derived notion of a Rasiowa–Sikorski set and the method of forcing adjusted to arbitrary first–order languages. This approach was developed in the papers Czelakowski [ 4, 5 ]. The central (...) idea consists in constructing an appropriate countable model \(\textbf{A}\) of Peano arithmetic by means of a Rasiowa–Sikorski set. This model validates the twin prime conjecture. Since \(\textbf{A}\) is elementarily equivalent to the standard model, the conjecture follows. Thus the standard model validates the twin primes conjecture. More generally, it is shown that de Polignac’s conjecture has a positive solution. The paper employs methods borrowed from the contemporary mathematical logic. Such a ’logical’ approach may be viewed as a useful addition to the dominant methodology in number theory based on mathematical analysis. (shrink)

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 if and only if the type of a is selective. We extend this result by showing that if M is a countable arithmetically saturated model of Peano Arithmetic, Ω ⊂ M (...) is a very good interstice, and a ∈ Ω, then the stabilizer of a is a maximal subgroup of Aut if and only if the type of a is selective and rational. (shrink)

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 equivalent to M. On the other hand, we show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent (...) to M but N is not isomorphic to M. We also show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M, and N is isomorphic to M, but N is not definably isomorphic to M. And also, we give a generalization of Tennenbaum's theorem. At the end, we give a new method to construct a definable model by a refinement of Kotlarski's method. (shrink)

This paper concerns intermediate structure lattices Lt, where [MATHEMATICAL SCRIPT CAPITAL N] 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 extension of [MATHEMATICAL SCRIPT CAPITAL N]. If T is a completion of PA and L is a finite lattice, then: If some model of T attains L, then every (...) countable model of T does. If some rather classless, ℵ1-saturated model of T attains L, then every model of T does. (shrink)

In this paper we discuss automorphism groups of saturated models and boundedly saturated models of $\mathsf{PA}$. We show that there are saturated models of $\mathsf{PA}$ of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of $\mathsf{PA}$ has short saturated elementary cuts with nonisomorphic automorphism groups.

We show that that every countable model of PA has a conservative extension M with a subset Y such that a certain Σ1(Y)-formula defines in M a subset which is not r. e. relative to Y.

We consider expansions of models of Peano arithmetic to models ofA 2 s -¦Δ 1 1 +Σ 1 1 −AC which consist of families of sets definable by nonstandard formulas.

There is an infinite set T of Turing-equivalent completions of Peano Arithmetic such that whenever M and N are nonisomorphic countable, arithmetically saturated models of PA and Th, Th∈T, then Aut≇Aut.

Let M be a model of first order Peano arithmetic and I an initial segment of M that is closed under multiplication. LetM0 be the {0, 1,+}-reduct ofM. We show that there is another model N of PA that is also an expansion of M0 such that a · Ma = a · Na if and only if a ∈ I for all a ∈ M.

We prove that in IST, Nelson's internal set theory, the Uniqueness and Collection principles, hold for all (including external) formulas. A corollary of the Collection theorem shows that in IST there are no definable mappings of a set X onto a set Y of greater (not equal) cardinality unless both sets are finite and #(Y) ≤ n #(X) for some standard n. Proofs are based on a rather general technique which may be applied to other nonstandard structures. In particular we (...) prove that in a nonstandard model of PA, Peano arithmetic, every hyperinteger uniquely definable by a formula of the PA language extended by the predicate of standardness, can be defined also by a pure PA formula. (shrink)

If $M \models PA (= Peano Arithmetic)$ , we set $A^M = \{N \subset_e M: N \models PA\}$ and study this family.

We prove that a necessary and sufficient condition for a countable set L of sets of integers to be equal to the algebra of all sets of integers definable in a nonstandard elementary extension of ω by a formula of the PA language which may include the standardness predicate but does not contain nonstandard parameters, is as follows: L is closed under arithmetical definability and contains 0 (ω) , the set of all (Gödel numbers of) true arithmetical sentences. Some results (...) related to definability of sets of integers in elementary extensions of ω are included. (shrink)