On Guessing Whether A Sequence Has A Certain Property

Samuel Alexander

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…