Publication:4004805
From MaRDI portal
zbMath0753.03014MaRDI QIDQ4004805
Publication date: 27 September 1992
automorphism; models of arithmetic; countable recursively saturated model; models of completions of PA; nonstandard initial segments
Related Items
Automorphisms of models of arithmetic: a unified view, On maximal subgroups of the automorphism group of a countable recursively saturated model of PA, Automorphisms of countable recursively saturated models of PA: A survey, Arithmetically saturated models of arithmetic