Alexander, Samuel

On guessing whether a sequence has a certain property

J. Integer Seq. 14(4), Article 11.4.4, 11 p., electronic only (2011)


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.

Mathematics Subject Classification

03B60, 03B80


guessing, guessability, integer sequences, nonclassic logic, ellipsis