Recursion in total functionals of finite type

Feferman, Solomon

Compositio Mathematica, Volume 35 (1977) p. 3-22

Persistent and invariant formulas for outer extensions

Feferman, Solomon

Compositio Mathematica, Volume 20 (1968) p. 29-52