1 citations · 1 across the 2 of their papers we have counts for
1 paper · 2 filters
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…