FOM: Frege and Dedekind on Numbers wtait at
Thu Apr 2 12:13:49 EST 1998

Walter, regarding

>That existence proofs [for recursively defined functions] can also be 
>   from above seems first to have been noticed by Paul
>   Lorenzen 38 .
 I believe that Frege, in his *Grundgesetze II* constructs from above. 
Can this construction be extended in second-order set theory to functions 
defined by recursion on the transfinite ordinals? 

Bill Tait

More information about the FOM mailing list