-
The Lattice Problem for Models of $\mathsf{PA}$
Authors:
Athar Abdul-Quader,
Roman Kossak
Abstract:
The lattice problem for models of Peano Arithmetic ($\mathsf{PA}$) is to determine which lattices can be represented as lattices of elementary submodels of a model of $\mathsf{PA}$, or, in greater generality, for a given model $\mathcal{M}$, which lattices can be represented as interstructure lattices of elementary submodels $\mathcal{K}$ of an elementary extension $\mathcal{N}$ such that…
▽ More
The lattice problem for models of Peano Arithmetic ($\mathsf{PA}$) is to determine which lattices can be represented as lattices of elementary submodels of a model of $\mathsf{PA}$, or, in greater generality, for a given model $\mathcal{M}$, which lattices can be represented as interstructure lattices of elementary submodels $\mathcal{K}$ of an elementary extension $\mathcal{N}$ such that $\mathcal{M} \preccurlyeq \mathcal{K} \preccurlyeq \mathcal{N}$. The problem has been studied for the last 60 years and the results and their proofs show an interesting interplay between the model theory of PA, Ramsey style combinatorics, lattice representation theory, and elementary number theory. We present a survey of the most important results together with a detailed analysis of some special cases to explain and motivate a technique developed by James Schmerl for constructing elementary extensions with prescribed interstructure lattices. The last section is devoted to a discussion of lesser-known results about lattices of elementary submodels of countable recursively saturated models of PA.
△ Less
Submitted 20 December, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Pathologies in satisfaction classes
Authors:
Athar Abdul-Quader,
Mateusz Łełyk
Abstract:
We study subsets of countable recursively saturated models of $\mathsf{PA}$ which can be defined using pathologies in satisfaction classes. More precisely, we characterize those subsets $X$ such that there is a satisfaction class $S$ where $S$ behaves correctly on an idempotent disjunction of length $c$ if and only if $c \in X$. We generalize this result to characterize several types of pathologie…
▽ More
We study subsets of countable recursively saturated models of $\mathsf{PA}$ which can be defined using pathologies in satisfaction classes. More precisely, we characterize those subsets $X$ such that there is a satisfaction class $S$ where $S$ behaves correctly on an idempotent disjunction of length $c$ if and only if $c \in X$. We generalize this result to characterize several types of pathologies including double negations, blocks of extraneous quantifiers, and binary disjunctions and conjunctions. We find a surprising relationship between the cuts which can be defined in this way and arithmetic saturation: namely, a countable nonstandard model is arithmetically saturated if and only if every cut can be the "idempotent disjunctively correct cut" in some satisfaction class. We describe the relationship between types of pathologies and the closure properties of the cuts defined by these pathologies.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
CP-generic expansions of models of Peano Arithmetic
Authors:
Athar Abdul-Quader,
James H. Schmerl
Abstract:
We study notions of genericity in models of $\mathsf{PA}$, 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 loo…
▽ More
We study notions of genericity in models of $\mathsf{PA}$, 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 $\mathsf{PA}$ which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in models of $\mathsf{PA}$ 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.
△ Less
Submitted 25 August, 2021; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Neutrally Expandable Models of Arithmetic
Authors:
Athar Abdul-Quader,
Roman Kossak
Abstract:
A subset of a model of ${\sf PA}$ is called neutral if it does not change the $\mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in various models of ${\sf PA}$. We show that cofinal extensions of prime models are neutrally expandable, and $ω_1$-like neutrally expandable models exist, while no r…
▽ More
A subset of a model of ${\sf PA}$ is called neutral if it does not change the $\mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in various models of ${\sf PA}$. We show that cofinal extensions of prime models are neutrally expandable, and $ω_1$-like neutrally expandable models exist, while no recursively saturated model is neutrally expandable. We also show that neutrality is not a first-order property. In the last section, we study a local version of neutral expandability.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
Enayat Models of Peano Arithmetic
Authors:
Athar Abdul-Quader
Abstract:
Simpson showed that every countable model $\mathcal{M} \models \mathsf{PA}$ has an expansion $(\mathcal{M}, X) \models \mathsf{PA}^*$ that is pointwise definable. A natural question is whether, in general, one can obtain expansions of a non-prime model in which the definable elements coincide with those of the underlying model. Enayat showed that this is impossible by proving that there is…
▽ More
Simpson showed that every countable model $\mathcal{M} \models \mathsf{PA}$ has an expansion $(\mathcal{M}, X) \models \mathsf{PA}^*$ that is pointwise definable. A natural question is whether, in general, one can obtain expansions of a non-prime model in which the definable elements coincide with those of the underlying model. Enayat showed that this is impossible by proving that there is $\mathcal{M} \models \mathsf{PA}$ such that for each undefinable class $X$ of $\mathcal{M}$, the expansion $(\mathcal{M}, X)$ is pointwise definable. We call models with this property Enayat models. In this paper, we study Enayat models and show that a model of $\mathsf{PA}$ is Enayat if it is countable, has no proper cofinal submodels and is a conservative extension of all of its elementary cuts. We then show that, for any countable linear order $γ$, if there is a model $\mathcal{M}$ such that $\mathrm{Lt}(\mathcal{M}) \cong γ$, then there is an Enayat model $\mathcal{M}$ such that $\mathrm{Lt}(\mathcal{M}) \cong γ$.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
