FOM: Frege and Dedekind on Numbers
wtait at ix.netcom.com
Thu Apr 2 12:13:49 EST 1998
>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?
More information about the FOM