On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
scientific article; zbMATH DE number 2123155