5 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Samuel Coskey, Roman Kossak
We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of ari…