The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

DOI10.1112/jlms/52.2.235zbMath0905.03024OpenAlexW2330233132MaRDI QIDQ4864048

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 of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Infinite automorphism groups (20B27)

Related Items (13)

Automorphisms of models of true arithmetic: Recognizing some basic open subgroups ⋮ More automorphism groups of countable, arithmetically saturated models of Peano arithmetic ⋮ AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Arithmetically saturated models of arithmetic ⋮ Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts ⋮ On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic ⋮ A Galois correspondence for countable short recursively saturated models of PA ⋮ Generic automorphisms and graph coloring ⋮ AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC ⋮ Automorphism groups of models of Peano arithmetic ⋮ Automorphism groups of arithmetically saturated models ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic

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