1 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Athar Abdul-Quader, Roman Kossak
The lattice problem for models of Peano Arithmetic (PA) is to determine which lattices can be represented as lattices of elementary submodels of a model of PA…