Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
From MaRDI portal
Publication:4323838
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
automorphism groupmodels of arithmeticstabilizersopen subgrouprecursively saturated modelinvariant cuts
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