Automorphisms of saturated and boundedly saturated models of arithmetic

DOI10.1215/00294527-1435483MaRDI QIDQ645748zbMATH OpenOpenAlexFDO

Authors Ermek S. Nurkhaidarov, Erez Shochat

Publication date 10 November 2011

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-1435483

zbMATH Keywords

saturationPeano arithmeticautomorphism groupsbounded saturationmodels of PA

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Recommendations

• Automorphisms of countable recursively saturated models of PA: A survey
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• scientific article; zbMATH DE number 2144534
• Arithmetically saturated models of arithmetic
• Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic

Cited in

(18)

• On elementary cuts in recursively saturated models of Peano Arithmetic
• Automorphisms of recursively saturated models of arithmetic
• scientific article; zbMATH DE number 663795 (Why is no real title available?)
• Generic automorphisms and graph coloring
• Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic
• Automorphisms of models of bounded arithmetic
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
• Elementary cuts in saturated models of Peano arithmetic
• More on extending automorphisms of models of Peano 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
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of models of Peano arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• Automorphism groups of arithmetically saturated models
• Automorphisms of models of arithmetic: a unified view
• Interstitial and pseudo gaps in models of Peano arithmetic
• scientific article; zbMATH DE number 2144534 (Why is no real title available?)

This page was built for publication: Automorphisms of saturated and boundedly saturated models of arithmetic

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