Automorphisms of countable short recursively saturated models of PA

DOI10.1215/00294527-2008-016zbMath1185.03065OpenAlexW1991682670MaRDI QIDQ1049737

Erez Shochat

Publication date: 13 January 2010

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

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

zbMATH Keywords

automorphism grouprecursively saturated models of PAshort recursive saturation

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (1)

A Galois correspondence for countable short recursively saturated models of PA

This page was built for publication: Automorphisms of countable short recursively saturated models of PA