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
USA
Abstract:
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
