Abstract: As a cornerstone of modern set theory and higher-order computation, the transfinite recursion theorem transcends the limitations of traditional recursion confined to finite domains, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results