Journal of Integer Sequences, Vol. 14 (2011), Article 11.4.4

On Guessing Whether a Sequence has a Certain Property

Samuel Alexander
The Ohio State University
Department of Mathematics
231 West 18th Avenue
Columbus OH 43210


A concept of "guessability" is defined for sets of sequences of naturals. Eventually, these sets are thoroughly characterized. To do this, a nonstandard logic is developed, a logic containing symbols for the ellipsis as well as for functions without fixed arity.

Full version:  pdf,    dvi,    ps,    latex    

(Concerned with sequences A082691 A182659 A182660.)

Received November 27 2010; revised version received March 25 2011. Published in Journal of Integer Sequences, March 26 2011. Addendum, January 28 2012.

Return to Journal of Integer Sequences home page