Feferman's completeness theorem

Fedor Pakhomov, Michael Rathjen, Dino Rossegger

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly know…