MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 397

Preprint Number 400

Previous Next Preprint server


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:

Full text: pdf, dvi, ps.


Last updated: December 23 2011 13:47 Please send your corrections to: