3 papers
math.LO2024
The Lattice Problem for Models of
Athar Abdul-Quader, Roman Kossak
The lattice problem for models of Peano Arithmetic () is to determine which lattices can be represented as lattices of elementary submodels of a model of …
math.LO2023
Pathologies in satisfaction classes
Athar Abdul-Quader, Mateusz Łełyk
We study subsets of countable recursively saturated models of which can be defined using pathologies in satisfaction classes. More precisely, we characterize those su…
math.LO2021
CP-generic expansions of models of Peano Arithmetic
Athar Abdul-Quader, James H. Schmerl
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…