Googology Wiki
Advertisement
Googology Wiki

Since we have first and second order set theory, naturally we should have third and higher order set theories, though I am not sure how they are defined. Anyway, let's assume they are well defined to produce this fundamental sequence:

Further Improved version:

For non-negative integer k and positive integer function R,

R0(n) = Rayo's function (based on FOST or 1-st order set theory).

Rk-1(n) is defined as the function based on k-th order set theory.

Further growth shall be achieved through RO(n) where O denotes any combination of countable ordinals.

The version below reaches only a growth rate of about .

Improved version:

For non-negative integer k and positive integer function R,

R0(n) = Rayo's function (based on FOST or 1-st order set theory); and

Rk-1(n) is defined as the function based on k-th order set theory.

R1,0(n) = ; R1,1(n) = R1,0 n (n); R1,2(n) = R1,1 n (n); and so on.

R2,0(n) = ; R2,1(n) = R2,0 n (n); R2,2(n) = R2,1 n (n); and so on.

R1,0,0(n) = ; R1,0,1(n) = R1,0,0 n (n); R1,0,2(n) = R1,0,1 n (n); and so on.

R1,1,0(n) = ; R1,1,1(n) = R1,1,0 n (n); R1,1,2(n) = R1,1,1 n (n); and so on.

R2,0,0(n) = ; R2,0,1(n) = R2,0,0 n (n); R2,0,2(n) = R2,0,1 n (n); and so on.

Final form = , where = n,n, ... ,n,n (with n of n's)

With this improvement, the sequence is much stronger than original version which was strike-through for reference below.

For non-negative integer k and positive integer function R, define R0(n) = Rayo's function (based on FOST or 1-st order set theory).

Then Rk+1(n) is defined as the function based on Rk(n)-th order set theory.

Example[]

R0(984) = Rayo(984) > 65536.

R1(984) is calculated based on R0(984)-th or 66536th order set theory.

R2(984) is calculated based on R1(984)-th order set theory.

Question[]

  1. In this case, do you think, the diagonalization of the sequence, exist? If it does, I think it's not recursive, as R is uncomputable.
  2. Do you thinkis at par with Large Number Garden Number for n > 10↑1010?
  3. Do you think is at par with Bowers' Oblivion and Utter Oblivion for n > Rayo's number?
Advertisement