Second order theories with ordinals and elementary comprehension

Gerhard Jäger, Thomas Strahm. Second order theories with ordinals and elementary comprehension. Arch. Math. Log., 34(6):345-375, 1995. [doi]

Abstract

Abstract is missing.