Publication:4309365
From MaRDI portal
zbMath0824.03015MaRDI QIDQ4309365
Publication date: 9 November 1995
automorphism groupGalois theorymodels of arithmeticGalois correspondencerecursively saturated modelinitial segmentsclosed normal subgroupsfix operation
Related Items
Automorphisms of models of true arithmetic: Recognizing some basic open subgroups, Automorphisms of countable recursively saturated models of PA: A survey, Infinitary definitions of equivalence relations in models of PA, Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely, Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts, A Galois correspondence for countable short recursively saturated models of PA, Unnamed Item, A model-theoretic characterization of the weak pigeonhole principle