On the quantifier complexity of ? n+1 (T)? induction | Publicación