|
Search: id:A098820
|
|
|
| A098820 |
|
Periodicity of entries in the first row of a Laver Table of size 2^n. |
|
+0
1
|
|
| 1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16
(list; graph; listen)
|
|
|
OFFSET
|
0,3
|
|
|
COMMENT
|
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).
|
|
REFERENCES
|
Richard Laver, "On the Algebra of Elementary Embeddings of a Rank into Itself", Advances in Mathematics 110, p. 334, 1995
|
|
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: A117295 A093820 A095400 this_sequence A062383 A034583 A076347
Adjacent sequences: A098817 A098818 A098819 this_sequence A098821 A098822 A098823
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
Schneelocke [Christian Schroeder] (sloane-sequences(AT)gl00on.net), Oct 08 2004
|
|
|
Search completed in 0.002 seconds
|
