[FOM] Transfinite Recursion in Functional Analysis and Measure Theory

[Adam Kolany]

Hi,

I would appreciate examples of proofs in FA and MT where Transfinite 
Recursion was used.

Also "sensible" formulations of TR  in ZF set theory  would be welcome.


Can you help ?


regards,

Adam Kolany