First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo

TitleFirst order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
Publication TypeJournal Article
Year of Publication2001
AuthorsJäger, G
JournalThe Journal of Symbolic Logic
Volume66
Pagination1073-1089
URLhttp://www.iam.unibe.ch/ltgpub/2001/jae01.pdf