User blog:Wythagoras/Bounds for Rayo (not my work)

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.