1 citations · 1 across the 12 of their papers we have counts for
1 paper · 2 filters
James H. Schmerl
The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.