Publication:3968927
From MaRDI portal
zbMath0503.03033MaRDI QIDQ3968927
Publication date: 1982
03H15: Nonstandard models of arithmetic
03D25: Recursively (computably) enumerable sets and degrees
03F35: Second- and higher-order arithmetic and fragments
Related Items
Largest initial segments pointwise fixed by automorphisms of models of set theory, Automorphisms of models of arithmetic: a unified view, Automorphisms of recursively saturated models of arithmetic, Rosser and Mostowski sentences, Automorphisms of models of true arithmetic: Recognizing some basic open subgroups, Infinitary definitions of equivalence relations in models of PA, Fixed points of self-embeddings of models of arithmetic, Automorphisms of countable recursively saturated models of PA: A survey, AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC