Automorphisms of Recursively Saturated Models of Arithmetic

Richard Kaye, Roman Kossak, Henryk Kotlarski. Automorphisms of Recursively Saturated Models of Arithmetic. Annals of Pure and Applied Logic, 55(1):67-99, 1991.

Abstract

Abstract is missing.