On two questions concerning the automorphism groups of countable recursively saturated models of PA

DOI10.1007/s001530050056zbMath0873.03037OpenAlexW2029404498MaRDI QIDQ1354336

Nicholas Bamber, Roman Kossak

Publication date: 26 October 1997

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050056

zbMATH Keywords

automorphism groupsdefinabilitymodels of Peano arithmeticrecursively saturated modelsetwise stabilizerstrong initial segment

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (4)

Automorphisms of models of arithmetic: a unified view ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Truth in generic cuts ⋮ Automorphism groups of models of Peano arithmetic

This page was built for publication: On two questions concerning the automorphism groups of countable recursively saturated models of PA