Admissible closures of polynomial time computable arithmetic

TitleAdmissible closures of polynomial time computable arithmetic
Publication TypeJournal Article
Year of Publication2011
AuthorsProbst, D, Strahm, T
JournalArchive for Mathematical Logic
Volume50
Issue5-6
Pagination643-660
URLhttp://www.iam.unibe.ch/ltgpub/2011/ps11.pdf