All Questions

If consistent, is existence of a proper class of extendible cardinals provably equivalent to a $Σ^V_5$ statement? Recall that in ZFC, a cardinal $κ$ is extendible iff for every $λ>κ$ there is an ...

This question concerns two definitions of the reflection principle. One of them known to be a consequence of the other one. I would like to understand if the reverse is true. Let us state the first ...