Lev D. Beklemishev On the induction schema for decidable predicates. 17-34 2003 68 J. Symb. Log. 1 db/journals/jsyml/jsyml68.html#Beklemishev03