A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem

TitleA Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem
Publication TypeJournal Article
Year of Publication2018
AuthorsOliva, P, Steila, S
JournalThe Journal of Symbolic Logic
Pagination1-14
URLhttp://www.iam.unibe.ch/ltgpub/2017/os17.pdf
DOI10.1017/jsl.2017.33