On guessing whether a sequence has a certain property

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.

03B60, 03B80

Keywords/Phrases

guessing, guessability, integer sequences, nonclassic logic, ellipsis