On Guessing Whether A Sequence Has A Certain Property
Logic
2012-01-25 v3
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. New proofs are given for some seemingly-unrelated known results.
Cite
@article{arxiv.1011.6626,
title = {On Guessing Whether A Sequence Has A Certain Property},
author = {Samuel Alexander},
journal= {arXiv preprint arXiv:1011.6626},
year = {2012}
}
Comments
15 pages (revised to add addendum to give due credit to William Wadge for defining guessability long before me)