1 citations · 3 across the 4 of their papers we have counts for
5 papers
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 …
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…
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…
Neutrally Expandable Models of Arithmetic
Athar Abdul-Quader, Roman Kossak
A subset of a model of is called neutral if it does not change the relation. A model with undefinable neutral classes is called neutrally expandable. We s…
Enayat Models of Peano Arithmetic
Athar Abdul-Quader
Simpson showed that every countable model has an expansion that is pointwise definable. A natural questio…