scientific article; zbMATH DE number 889876

MaRDI QIDQ4882388zbMATH OpenFDO

Authors Roman Kossak, Henryk Kotlarski

Publication date 4 August 1996

Full work available at URL https://eudml.org/doc/212122

zbMATH Keywords

automorphism extension propertycofinal extensionsend extensionsmodels of arithmeticrecursively saturated models of Peano arithmetic

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57) Models of arithmetic and set theory (03C62)

Recommendations

• More on extending automorphisms of models of Peano Arithmetic
• Results on automorphisms of recursively saturated models of PA
• Automorphisms of countable recursively saturated models of PA: A survey
• On two questions concerning the automorphism groups of countable recursively saturated models of PA

Cited in

(8)

• On cofinal submodels and elementary interstices
• Automorphisms of countable recursively saturated models of PA: A survey
• More on extending automorphisms of models of Peano Arithmetic
• Results on automorphisms of recursively saturated models of PA
• Elementary cuts in saturated models of Peano arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• Automorphisms of models of arithmetic: a unified view

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882388)