The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

DOI10.1112/JLMS/52.2.235MaRDI QIDQ4864048zbMATH OpenOpenAlexFDO

Authors Roman Kossak, James H. Schmerl

Publication date 2 February 1999

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/jlms/52.2.235

zbMATH Keywords

automorphism groupmodels of arithmeticarithmetically saturated model

Mathematics Subject Classification ID

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

Recommendations

• Automorphism groups of saturated models of Peano arithmetic
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphism groups of models of Peano arithmetic
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
• Automorphism groups of arithmetically saturated models
• Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• Automorphisms of saturated and boundedly saturated models of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• scientific article; zbMATH DE number 889876

Cited in

(20)

• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphisms of saturated and boundedly saturated models of arithmetic
• scientific article; zbMATH DE number 663795 (Why is no real title available?)
• scientific article; zbMATH DE number 2236641 (Why is no real title available?)
• Generic automorphisms and graph coloring
• A Galois correspondence for countable short recursively saturated models of PA
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
• The Automorphism Group of a Countable Recursively Saturated Structure
• Arithmetically saturated models of arithmetic
• Automorphisms of countable recursively saturated models of PA: A survey
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Automorphism groups of models of Peano arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• Automorphism groups of arithmetically saturated models
• Order-types of models of arithmetic and a connection with arithmetic saturation
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

This page was built for publication: The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

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