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