Results on automorphisms of recursively saturated models of PA

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Roman Kossak, Henryk Kotlarski Fundamenta Mathematicae 129 (1988), 9-15 DOI: 10.4064/fm-129-1-9-15