Relative predicativity and dependent recursion in second-order set theory and higher-order theories. Sato, K. The Journal of Symbolic Logic, 79:712–732, 9, 2014.
Relative predicativity and dependent recursion in second-order set theory and higher-order theories [pdf]Paper  doi  bibtex   

Downloads: 0