The Logic of Correct Models

Juan Pablo Aguilera, Fedor Pakhomov

For each $n\in \mathbb{N}$, let $[n]\varphi$ mean "the sentence $\varphi$ is true in all ${\Sigma }_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V=L$, we prove the following graded varian…