Subsets of models of arithmetic

DOI10.1007/BF01270396zbMath0786.03027OpenAlexW1999948456MaRDI QIDQ1311429

Roman Kossak, Jeffrey Bruce Paris

Publication date: 13 January 1994

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

Full work available at URL: https://doi.org/10.1007/bf01270396

zbMATH Keywords

elementary extensionsend extensions of countable models of PAstrong collection scheme

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (2)

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Subsets coded in elementary end extensions

Cites Work

• Unnamed Item
• Indicators, recursive saturation and expandability
• On Extensions of Models of Strong Fragments of Arithmetic

This page was built for publication: Subsets of models of arithmetic