论文信息 - The automorphism group of a resplendent model - 字舞流文

The automorphism group of a resplendent model

The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.

James H. Schmerl

[1] James H. Schmerl,et al. The Structure of Models of Peano Arithmetic , 2006 .

[3] Wilfrid Hodges,et al. Model Theory: The existential case , 1993 .

[4] James H. Schmerl. Automorphism Groups of Models of Peano Arithmetic , 2002, J. Symb. Log..

[5] M. Giraudet,et al. Automorphism Groups of Models of First order Theories . , 2007 .

[6] B. Poizat. A Course in Model Theory , 2000 .