$Σ^1_1$ choice in a theory of sets and classes

Title$Σ^1_1$ choice in a theory of sets and classes
Publication TypeConference Paper
Year of Publication2010
AuthorsJäger, G, Krähenbühl, J
EditorSchindler, R
Conference NameWays of Proof Theory
Pagination283-314
PublisherOntos Verlag
URLhttp://www.iam.unibe.ch/ltgpub/2010/jk10.pdf