On guessing whether a sequence has a certain property
J. Integer Seq. 14(4), Article 11.4.4, 11 p., electronic only (2011)
Summary
Summary: 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.
