User:TGReddy/TGR's Playground/SbOCF


 * \( C_{X}^{0}(a) = \{ 0, X \} \)
 * \( C_{X}^{n + 1}(a) = \{ \alpha + \beta : \alpha, \beta \in C_{X}^{n}(a) \} \cup \{ \psi_{\alpha}(\beta) : \alpha, \beta \in C_{X}^{n}(a) \land \alpha < X \} \)
 * \( C_{X}(a) = (\bigcup_{n \in \mathbb{N}} C_{X}^{n}(a)) \cap \text{PreClass}(X) \)
 * \( \psi_{X}(a) = \text{min}\{ \alpha : \alpha \notin C_{X}(a) \land \alpha \in X \} \)
 * \( \tau(0) = \text{Reg} \)
 * \( \tau(X + 1) = \)

FSes
\begin{align} [] : T \times \mathbb{N} \rightarrow& T \\ (T,n) \mapsto& T[n] \end{align}


 * If \( T = \psi_{\tau(0)}(a + 1) \)
 * \( T[n] = \psi_{\tau(0)}(a) \cdot n \)