scientific article; zbMATH DE number 663796

zbMath0824.03015MaRDI QIDQ4309365

Richard W. Kaye

Publication date: 9 November 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automorphism groupGalois theorymodels of arithmeticGalois correspondencerecursively saturated modelinitial segmentsclosed normal subgroupsfix operation

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Infinite automorphism groups (20B27)

Related Items (8)

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

This page was built for publication: