The proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice

TitleThe proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice
Publication TypeJournal Article
Year of Publication2003
AuthorsRüede, C
JournalAnnals of Pure and Applied Logic
Volume122
Pagination195-234
URLhttp://www.iam.unibe.ch/ltgpub/2003/rue03a.pdf