The Lattice Problem for Models of $\mathsf{PA}$

Athar Abdul-Quader, Roman Kossak

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}$…