A reflection principle and its applications to nonstandard models

DOI10.2307/2275878zbMath0847.03032OpenAlexW2049083174MaRDI QIDQ4876315

James H. Schmerl

Publication date: 30 September 1996

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

Full work available at URL: https://doi.org/10.2307/2275878

zbMATH Keywords

inductionPeano arithmeticcomprehension axiomreflection principlerather classless modelFinite Sequence axiom

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (1)

INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC

Cites Work

• Models of Peano arithmetic and a question of Sikorski on ordered fields
• Correction to Peano models with many generic classes
• Peano models with many generic classes
• Morasses, diamond, and forcing

This page was built for publication: A reflection principle and its applications to nonstandard models