OFFSET
0,1
LINKS
Nicholas Matteo, Table of n, a(n) for n = 0..384
R. L. Goodstein, On the Restricted Ordinal Theorem, The Journal of Symbolic Logic 9, no. 2 (1944), 33-41.
EXAMPLE
G_1(11) = B_2(11)-1 = B_2(2^(2+1)+2+1)-1 = 3^(3+1)+3+1-1 = 84;
G_2(11) = B_3(3^(3+1)+3)-1 = 4^(4+1)+4-1 = 1027;
G_3(11) = B_4(4^(4+1)+3)-1 = 5^(5+1)+3-1 = 15627;
G_4(11) = B_5(5^(5+1)+2)-1 = 6^(6+1)+2-1 = 279937;
G_5(11) = B_6(6^(6+1)+1)-1 = 7^(7+1)+1-1 = 5764801;
G_6(11) = B_7(7^(7+1))-1 = 8^(8+1)-1 = 134217727.
PROG
(PARI) lista(nn) = {print1(a = 11, ", "); for (n=2, nn, pd = Pol(digits(a, n)); q = sum(k=0, poldegree(pd), if (c=polcoeff(pd, k), c*x^subst(Pol(digits(k, n)), x, n+1), 0)); a = subst(q, x, n+1) - 1; print1(a, ", "); ); }
CROSSREFS
KEYWORD
nonn,fini
AUTHOR
Natan Arie Consigli, Apr 11 2016
EXTENSIONS
a(9)-a(13) corrected by Nicholas Matteo, Aug 15 2019
a(14) onwards from Nicholas Matteo, Aug 28 2019
STATUS
approved