On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA

Roman Kossak, Henryk Kotlarski, James H. Schmerl. On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA. Annals of Pure and Applied Logic, 65(2):125-148, 1993.

Abstract

Abstract is missing.