Second order theories with ordinals and elementary comprehension

TitleSecond order theories with ordinals and elementary comprehension
Publication TypeJournal Article
Year of Publication1995
AuthorsJäger, G, Strahm, T
JournalArchive for Mathematical Logic
Volume34
Pagination345-375
URLhttp://www.iam.unibe.ch/ltgpub/1995/js95a.ps