The Automorphism Group of a Resplendent Model
arXiv:1112.4370
Abstract
The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.
arXiv:1112.4370
The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.