Publications > Preprint server > Preprint Number 397
Preprint Number 400
397. James H. Schmerl
The Automorphism Group of a Resplendent Model
Submission date: 19 December 2011.
The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.
Mathematics Subject Classification: 03C50, 03C62
Keywords and phrases:
|Last updated: March 23 2021 09:22||Please send your corrections to:|