INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC

DOI10.1017/jsl.2013.17zbMath1353.03032OpenAlexW2136192803MaRDI QIDQ2933679

Richard W. Kaye

Publication date: 5 December 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/17786900/download.pdf

zbMATH Keywords

interpretationsnonstandard modelsPeano arithmetic\(\omega\)-logicstandard systemsstandard cuttransplendent models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An introduction to recursively saturated and resplendent models
• A reflection principle and its applications to nonstandard models
• On external Scott algebras in nonstandard models of Peano arithmetic

This page was built for publication: INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC