>>5973974C_0(α,β) = β ∪ {0,ω_1,ω_2,…,ω_ω}
Cn+1(α,β) = {γ+δ,θ_ξ(η)|γ,δ,ξ,η∈C_n(α,β);ξ<α}
C(α,β) = ⋃_{n<ω} C_n(α,β)
θ_α(β) = min{γ|γ ∉ C(α,γ)∧∀δ<β:θ_α(δ)<γ}
C^0_v(α) = Ω_v
C^{n+1}_v(α) = C^n_v(α)∪{γ|P(γ)⊆C^n_v(α)} ∪ {ψ_vξ|ξ∈α∩C^n_v(α)∧ξ ∈ C_u(ξ)∧u≤ω}
Cv(α) = ⋃_{n<ω} C^n_v(α)
ψ_vα = min{γ|γ ∉ C_v(α)}
Ω_m ∪ β ⊆ C^n_m(α,β)
ξ,η ∈ C^n_m(α,β) ξ+η ∈ C^n_m(α,β)
η ∈ C^n_m(α,β) ∩ Ω_{k+2} ϑ^n_k(ξ) ∈ C^n_m(α,β) for m<k<n
η ∈ C^n_m(α,β) ∩ α ϑ^n_m(ξ) ∈ C^n_m(α,β)
ϑ^n_m(α) = min({ξ<Ω_{m+1} | C^n_m(α,ξ) ∩ Ω_{m+1} ⊆ ξ ∧ α ∈ C^n_m(α,ξ)} ∪ {Ω_{m+1}})
Ω_i ∪ β ⊆ ¯C_i(α,β)
ξ,η ∈ ¯C_i(α,β) ξ + η ∈ ¯C_i(α,β)
j≤i<ω∧ξ ∈ ¯C_j(ξ,Ω_{j+1}) ∩ ¯C_i(α,β) ∩ α ¯ϑ_j(ξ) ∈ ¯C_i(α,β)
ϑ_i(α) = min({ξ<Ω_{i+1} | α ∈ ¯C_i(α,ξ) ∧ ¯C_i(α,ξ) ∩ Ω_{i+1} ⊆ ξ} ∪ {Ω}
