The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

DOI10.1112/JLMS/52.2.235zbMATH Open0905.03024OpenAlexW2330233132MaRDI QIDQ4864048FDOQ4864048

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

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

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)

Cited In (20)

• A Galois correspondence for countable short recursively saturated models of PA
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• Automorphism groups of arithmetically saturated models
• Automorphism groups of models of Peano arithmetic
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• The Automorphism Group of a Countable Recursively Saturated Structure
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• Title not available (Why is that?)
• Generic automorphisms and graph coloring
• 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
• Order-types of models of arithmetic and a connection with arithmetic saturation
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• Title not available (Why is that?)
• Automorphisms of saturated and boundedly saturated models of arithmetic
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
• ON AUTOMORPHISMS OF RESPLENDENT MODELS OF 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)