Axiom Beta Implies Elementary Transfinite Recursion

Emanuele Frittaion, Giorgio G. Genovesi

We show that $\mathbf{C}$, a weak theory of sets with Axiom Beta, proves the scheme of Elementary, or ${\Delta }_0$ Transfinite Recursion and can generate, for every set, the corresponding…