login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A098820 Periodicity of entries in the first row of a Laver Table of size 2^n. 0
1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,3

COMMENTS

All sequence elements are powers of 2. The first n for which a(n)=32 is at least A(9,A(8,A(8,255))), where A denotes the Ackermann function (R. Dougherty). If a rank-into-rank exists, then the sequence is diverging (R. Laver).

LINKS

Table of n, a(n) for n=0..56.

Richard Laver, On the Algebra of Elementary Embeddings of a Rank into Itself, Advances in Mathematics 110, p. 334, 1995

Wikipedia, Laver table

EXAMPLE

a(4)=4 because the entries in the first row of the Laver table of size 4^2=16 are 2,12,14,16,2,12,14,16,2,12,14,16,2,12,14,16 (and thus repeat with a periodicity of 4).

CROSSREFS

Sequence in context: A265560 A265544 A290221 * A296613 A062383 A034583

Adjacent sequences:  A098817 A098818 A098819 * A098821 A098822 A098823

KEYWORD

nonn

AUTHOR

Christian Schroeder, Oct 08 2004

EXTENSIONS

More terms from Adam P. Goucher, Dec 18 2013

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified October 18 10:46 EDT 2019. Contains 328147 sequences. (Running on oeis4.)