Automorphisms of saturated and boundedly saturated models of arithmetic

DOI10.1215/00294527-1435483zbMATH Open1241.03046OpenAlexW1989281548MaRDI QIDQ645748FDOQ645748

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

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

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)

Cited In (18)

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

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)