Are these two parametric versions of Transfinite Recursion equivalent?

set-theory ordinals transfinite-recursion

This is how I would have done it. It looks correct to me.

Related

Give an example of cochain map which is bijective? [closed]
Combination problem [closed]
Proof of Equivalence Relation $R=\{(a,b)\in\Bbb N^2: 5\mid (2a+3b)\}$
Why is $\int_{[0,1]} \frac{dw}{1-wz}$ is holomorphic in unit disc?
Check the differentiablity of $\theta :\mathbb R^2 \setminus\{(0,0)\}\to \mathbb R$
What will be the circumference of circle in this question?
How do I calculate/prove limits for exponential functions: $\lim\limits_{n \rightarrow \infty}{\frac {2^{n+1}+3^{n+1}}{2^n + 3^n}} = 3$ [duplicate]
For all integers a, b, c, if a | b and b | c then a | c. [duplicate]
Is there an internally consistent nearest-neighbor relation in this complete linearization of the 240 roots of $E_8$?
Find $\lim_{x\to -\infty}\sqrt{x^2+9}+x+3$
On the Maclaurin expansion of the Riemann zeta function and a related sequence.
Given that $xyz=1$, prove that $\frac{x}{1+x^4}+\frac{y}{1+y^4}+\frac{z}{1+z^4}\le \frac{3}{2}$