The proof-theoretic analysis of transfinitely iterated quasi least fixed points

TitleThe proof-theoretic analysis of transfinitely iterated quasi least fixed points
Publication TypeJournal Article
Year of Publication2006
AuthorsProbst, D
JournalThe Journal of Symbolic Logic
Volume71
Pagination721-746
URLhttp://www.iam.unibe.ch/ltgpub/2006/pro06.pdf