The non-constructive operator, fixed point theories with ordinals, and the bar rule. Submitted for publication. Addresses Solomon Feferman (1997)

by T Strahm
Venue:Department of Mathematics, Stanford University, Stanford