Reflection Properties of Ordinals in Generic Extensions

Juan P. Aguilera, Corey Bacal Switzer

We study the question of when a given countable ordinal $\alpha$ is ${\Sigma }_n^1$- or ${\Pi }_n^1$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focus…