Automorphism groups of arithmetically saturated models

DOI10.2178/jsl/1140641169zbMath1101.03030OpenAlexW2020603333MaRDI QIDQ5477630

Ermek S. Nurkhaidarov

Publication date: 5 July 2006

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

Full work available at URL: https://doi.org/10.2178/jsl/1140641169

zbMATH Keywords

automorphism groupsmodels of arithmeticarithmetic saturationstandard systems

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (5)

More automorphism groups of countable, arithmetically saturated models of Peano arithmetic ⋮ AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC ⋮ Interstitial and pseudo gaps in models of Peano Arithmetic ⋮ A Galois correspondence for countable short recursively saturated models of PA ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic

Cites Work

• Unnamed Item
• Ultrafilters and types on models of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• On the strength of Ramsey's theorem
• On the strength of Ramsey's theorem for pairs
• Closed Normal Subgroups
• 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 arithmetically saturated models