User blog:SuperSpruce/The T function part 3: Tetrational Arrays

Here is the T array function, which now includes Tetrational arrays. This should reach the BHO.

Attempt 1.

A string is any expression in the outer brackets that is a number, comma, dimensional separator, or bracket.

An entry is a integer greater than or equal to 0.

@ is any non-empty string.
 * 1) and % are any strings (can be empty)

$ is any number of opening brackets (can be 0 opening brackets)

& is everything inside the outer brackets.

&& is everything inside the outer brackets, but a is decreased by 1.

Entry a is at Layer x, where x is the amount of curly braces an entry is enclosed by. The base layer is x=0.

Rules: [APPLY IF POSSIBLE BEFORE STARTING SCANNING PROCESS]

1. Base Rule: T_n[0]=n+1

2. Recursion Rule: T_n[$a#]=T_(T_(...(T_(T_n[$a-1#])[$a-1#])...)[$a-1#])[$a-1#] with n T’s.

3. Tailing Rule: [@{#}0]=[@] There cannot be anything after the 0. This rule still applies when the brackets are braces (denoting dimensional separators)

4. Preceding rule: [0[ = [[ (delete the 0)

5. Fixed-Point Rule: [0] in an expression inside the outer brackets becomes n. For example: T_n[ [0] ]=T_n[n].

6. Comma Rule: {0} becomes a comma.

However, the other rules will require a scanning process to check when they will be applied.

Now comes the scanning process. Start at the first entry in the brackets.

A. If the entry is 0, jump to the next entry at that layer.

B. If the entry is not 0, then check what is immediately before it.

Ba. If a comma is immediately before it, then apply the catastrophic rule. The process ends.

Bb. If a [ is immediately before it, check what is immediately before that.

Bc. If that is a comma, return to step Ba. If that is a [, return to step Bb. If that is a }, go to step C.

C. If a } is immediately before it, follow these steps.

Ca. Jump to the first entry of that dimensional separator.

Cb. If it is not a 0, apply the dimensional array rule. The process ends.

Cc. If it is a 0, jump to step A.

Dimensional Array Rule and Catastrophic Rule:

7. Dimensional Array Rule: T_n[0{$d#}$c#]=T_n[n{$d-1#}n{$d-1#}n...n{$d-1#}n{$d#}$c-1#] with n n’s.

8. Catastrophic Rule: Follow these steps. One starts with [%0,$a#]

8a. Take the n from T_n and label it as s. The T_n still exists; we’re basically just copying n and calling it s. s will change later, but n will not change with it.

8b. Let M_1 = [%0,$a-1#] and M_(r+1) = [%(M_r),$a-1#].

8c. Now do this with M_s.

A few comparisons: T arrays vs. FGH ordinal

T_n[b] b

T_n[ [0] ] ω

T_n[0] ω2

T_n[0,1] ω^2

T_n[0,[0]] ω^ω

T_n[0,0,1] ε_0

T_n[0,0,0,1] ζ_0

T_n[0{1}1] φ(ω,0)

T_n[0{0,1}1]=T_n[n{[n{[n{[...{[n{[n]}n]}...]}n]}n]}1] with n [{’s. Γ_0

T_n[0{1,1}1] ψ(Ω^(Ω2))

T_n[0{0,2}1] ψ(Ω^Ω^2)

T_n[0{0,0,1}1] ψ(Ω^Ω^3)

T_n[0{0{1}1}1] ψ(Ω^Ω^ω) SVO

T_n[0{0{1}[0]}1] grows as fast as TREE(n)

T_n[0{0{0,1}1}1] ψ(Ω^Ω^Ω) LVO

T_n[0{0{0{0,1}1}1}1] ψ(Ω^Ω^Ω^Ω)

The limit of this notation is the Bachmann-Howard Ordinal, or ψ(ε_(Ω+1)).

This analysis could be wrong, but I think it is correct.

Feel free to correct me on this complicated notation if I’m wrong!