TagLevy-Montague

Inner-Model Reflection Principles

I
A lit up object sitting on top of a table

This paper has its origins in a question by Neil Barton on Math.SE, “What is the consistency strength of width-reflection?” Start with one of the foundational relationships of set theory, that of height-reflection — any property true in the universe $V$ is true in some initial segment $V_\kappa$. Then “rotate your head ninety degrees” and consider the corresponding...

Handy links: