# |
Name |
Example |
Limit array |
Limit ord. |
0 |
Linear |
10$[0,[0,3],0,ω,2] |
[0,0,...,1] |
ε0 |
1 |
Dimensional |
10$[0([0(1)ω([0(1)1])1])0,1] |
[0([0(...)1])1] |
Γ0 |
2 |
Expanding |
10$[0([[0([ω]1)1],1,2]1)0(1)1] |
[0([0,0,...,1]1)1] |
ψ(Ω2) |
3 |
Higher expanding |
10$[0([0([ω,2]2)0(1)1]1)0([0]1)1] |
[0([0([0([0(...)1]3)1]2)1]1)1] |
ψ(Ωω) |
4 |
Infinixpanding |
... |
[0([0][0]...)1] |
ψ(ψI(0)) |
5 |
Dropping |
... |
[0([0([0,0,0,...,1]1)1])1] |
ψ((+1)-Π0[0]) |
6 |
Multi-dropping |
... |
[0([0([0([0(...)1]3)1]2)1]1)1])1] |
ψ((λα.ωα+ωCK)-Π0[0]) |
7 |
Omega-dropping |
... |
[0([0([0([0(...)1]ω)1]ω)1]ω)1])1] |
ψ((λα.???)-Π0[0]) |