Abstract
We give a survey of automorphisms of countable recursively saturated models of Peano Arithmetic.
Citation
Henryk Kotlarski. "Automorphisms of Countable Recursively Saturated Models of PA: A Survey." Notre Dame J. Formal Logic 36 (4) 505 - 518, Fall 1995. https://doi.org/10.1305/ndjfl/1040136912
Information