56 citations · 70 across the 6 of their papers we have counts for
1 paper · 1 filter
Alex Gavryushkin
Many counterexamples are known in the class of small theories due to Goncharov and Millar. The prime model of a decidable small theory is not necessarily decidable. The saturated m…