 A generalized treatment of theories of iterated inductive definitions for arbitrary well-orderings and of autonomous iteration was carried out in Rathjen 1988, 2010. These theories are stronger than \((\Delta^1_2{\Hy}\bCA)\) if \(\nu\geq\varepsilon_0\).