Publications > Preprint server > Preprint Number 397
Preprint Number 400
397. James H. Schmerl The Automorphism Group of a Resplendent Model E-mail: Submission date: 19 December 2011. Abstract: 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: |