A Galois correspondence for countable short recursively saturated models of PA

DOI10.1002/malq.200810050zbMath1193.03063OpenAlexW1978313769MaRDI QIDQ3566942

Erez Shochat

Publication date: 10 June 2010

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200810050

zbMATH Keywords

automorphism groupsGalois correspondencemodels of PAshort recursive saturation

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automorphisms of models of arithmetic: a unified view
• Automorphisms of countable short recursively saturated models of PA
• Automorphisms of recursively saturated models of arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Closed Normal Subgroups
• Recursively saturated nonstandard models of arithmetic; addendum
• A certain class of models of Peano arithmetic
• Results on automorphisms of recursively saturated models of PA
• Discernible elements in models for Peano arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of arithmetically saturated models

This page was built for publication: A Galois correspondence for countable short recursively saturated models of PA