AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC

DOI10.1017/jsl.2015.1zbMath1368.03042arXiv1311.0772OpenAlexW2903725294MaRDI QIDQ2795926

James H. Schmerl

Publication date: 22 March 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.0772

zbMATH Keywords

automorphism groupPeano arithmeticrecursively saturated model

Mathematics Subject Classification ID

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

Related Items (1)

More automorphism groups of countable, arithmetically saturated models of Peano arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saturation and simple extensions of models of Peano arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Computable structures and the hyperarithmetical hierarchy
• Automorphisms of countable recursively saturated models of PA: A survey
• Arithmetically saturated models of arithmetic
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

This page was built for publication: AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC