The Barwise-Schlipf theorem

DOI10.1090/PROC/15216zbMath1459.03049arXiv1911.05117OpenAlexW3036308316MaRDI QIDQ5146566

James H. Schmerl, Ali Enayat

Publication date: 26 January 2021

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.05117

zbMATH Keywords

nonstandard models of arithmeticrecursive saturationexpandabilityfragments of second-order arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (1)

Set theoretical analogues of the Barwise-Schlipf theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Saturation and simple extensions of models of Peano arithmetic
• On expandability of models of Peano arithmetic. I
• Remarks on weak notions of saturation in models of Peano arithmetic
• Recursively saturated nonstandard models of arithmetic

This page was built for publication: The Barwise-Schlipf theorem