Relative predicativity and dependent recursion in second-order set theory and higher-order theories

TitleRelative predicativity and dependent recursion in second-order set theory and higher-order theories
Publication TypeJournal Article
Year of Publication2014
AuthorsSato, K
JournalThe Journal of Symbolic Logic
Volume79
Pagination712-732
Date Published9
ISSN1943-5886
URLhttp://www.iam.unibe.ch/ltgpub/2012/sat12.pdf
DOI10.1017/jsl.2014.28