15 citations · 26 across the 27 of their papers we have counts for
1 paper · 2 filters
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 PA. This result is commonly know…