Second order theories with ordinals and elementary comprehension - Jäger, Gerhard; Strahm, Thomas (Archive for mathematical logic, 1995)