Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts

DOI10.1002/malq.19950410112zbMath0816.03018OpenAlexW1983927436MaRDI QIDQ4323838

Bożena Piekart, Henryk Kotlarski

Publication date: 20 July 1995

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

Full work available at URL: https://doi.org/10.1002/malq.19950410112

zbMATH Keywords

automorphism groupmodels of arithmeticstabilizersopen subgrouprecursively saturated modelinvariant cuts

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Infinite automorphism groups (20B27)

Related Items (2)

Automorphisms of countable recursively saturated models of PA: A survey ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic

Cites Work

• Unnamed Item
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

This page was built for publication: Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts