Assume there exists a weakly compact cardinal $K$. Cardinals are treated as their initial ordinals and greek letters denote ordinals.
$${\rm cl}(A)=A\cup\{\sup(B) ~|~B\subset A\} \\B_0(\alpha,\beta)= C_0(\alpha,\beta)= \beta\cup\{0,1,K\} \\B_{n+1}(\alpha,\beta)= \{\gamma+\delta,\omega^\gamma, \Psi(\eta)~|~\gamma,\delta, \eta\in B_n(\alpha,\beta) \land\eta\in\alpha\}\\ C_{n+1}(\alpha,\beta)=\{\gamma+ \delta,\omega^\gamma,\Psi(\delta) ,\psi_\delta^\gamma(\eta)~|~ \gamma,\delta,\eta\in C_n(\alpha ,\beta)\land\eta\in\alpha\} \\B(\alpha,\beta)=\bigcup_{n\in\omega} B_n(\alpha,\beta)\\ C(\alpha,\b…