On Guessing Whether a Sequence has a Certain Property
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
Full version: pdf,
(Concerned with sequences
Received November 27 2010;
revised version received March 25 2011.
Published in Journal of Integer Sequences,
March 26 2011. Addendum, January 28 2012.
Journal of Integer Sequences home page