1 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Athar Abdul-Quader, Mateusz Łełyk
We study subsets of countable recursively saturated models of PA which can be defined using pathologies in satisfaction classes. More precisely, we characterize those su…