New posts in transfinite-recursion

Are these two parametric versions of Transfinite Recursion equivalent?

set-theory ordinals transfinite-recursion

Is there a generalization of transfinite recursion that allows defining proper classes?

set-theory recursion ordinals transfinite-recursion

How to apply the recursion theorem in practice?

elementary-set-theory transfinite-recursion

Do we know if there exist true mathematical statements that can not be proven?

logic induction proof-theory transfinite-recursion