This post is more a call for people to make bounds than that I have things, though I shall try to make some bounds myself if I actually understand this. (I don't :( )

## The Low Values

Vel!s work.

Rayo(10) ≥ 1.

Rayo(26) ≥ 2.

Rayo(61) ≥ 3.

Rayo(105) ≥ 4.

## Exponentation

Vel!'s work

∀x,y,z: ((x, y), z) ∈ Exp ⇔ (x,y,z ∈ ω ∧ ((y = 0 ∧ z = 1) ∨ (∃a,b: Sa = y ∧ (b = zx) ∧ ((x, a), b) ∈ Exp))) T = apply(Exp, (a, b))

Writing this without ∀ and comma's

¬(∃x:∃y:∃z:) ((x, y), z) ∈ E ⇔ (x,y,z ∈ ω ∧ ((y = 0 ∧ z = 1) ∨ (∃a:∃b: Sa = y ∧ (b = zx) ∧ ((x, a), b) ∈ E))) T = apply(E(a, b))

What is apply here?

I hope I did this right. There are still some comma's how to eliminate them? Suprisingly, this is only 88 symbols, so is something wrong?

Can we define F(a) = E(a,a)?

How do we put a number (say, 2 or 3) in here?

How do we call this function multiple times?

I think we might be able to reach tetrational numbers with just 300 symbols.