Automorphism groups of arithmetically saturated models

DOI10.2178/JSL/1140641169MaRDI QIDQ5477630zbMATH OpenOpenAlexFDO

Authors 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

arithmetic saturationautomorphism groupsmodels of arithmeticstandard systems

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• Arithmetically saturated models of arithmetic
• scientific article; zbMATH DE number 22356
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• scientific article; zbMATH DE number 2236641
• A Galois correspondence for countable short recursively saturated models of PA
• Automorphisms of saturated and boundedly saturated models of arithmetic
• Automorphisms of countable recursively saturated models of PA: A survey
• scientific article; zbMATH DE number 663795

Cites work

• Automorphisms of recursively saturated models of arithmetic
• Closed normal subgroups
• scientific article; zbMATH DE number 1746899 (Why is no real title available?)
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• On the strength of Ramsey's theorem
• On the strength of Ramsey's theorem for pairs
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Ultrafilters and types on models of arithmetic

Cited in

(11)

• Computable groups of automorphisms of models
• Automorphisms of recursively saturated models of arithmetic
• 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
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• From bounded arithmetic to second order arithmetic via automorphisms
• Parametric groups of definable automorphisms of strongly constructive models
• Automorphisms of models of arithmetic: a unified view

This page was built for publication: Automorphism groups of arithmetically saturated models

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