Geodesic
On guessing whether a sequence has a certain property
Journal of integer sequences, Tome 14 (2011) no. 4
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.
Classification : 03B60, 03B80
Keywords: guessing, guessability, integer sequences, nonclassic logic, ellipsis 
@article{JIS_2011__14_4_a2,
     author = {Alexander,  Samuel},
     title = {On guessing whether a sequence has a certain property},
     journal = {Journal of integer sequences},
     year = {2011},
     volume = {14},
     number = {4},
     zbl = {1217.03025},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JIS_2011__14_4_a2/}
}
TY  - JOUR
AU  - Alexander,  Samuel
TI  - On guessing whether a sequence has a certain property
JO  - Journal of integer sequences
PY  - 2011
VL  - 14
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/JIS_2011__14_4_a2/
LA  - en
ID  - JIS_2011__14_4_a2
ER  - 
%0 Journal Article
%A Alexander,  Samuel
%T On guessing whether a sequence has a certain property
%J Journal of integer sequences
%D 2011
%V 14
%N 4
%U http://geodesic.mathdoc.fr/item/JIS_2011__14_4_a2/
%G en
%F JIS_2011__14_4_a2
Alexander,  Samuel. On guessing whether a sequence has a certain property. Journal of integer sequences, Tome 14 (2011) no. 4. http://geodesic.mathdoc.fr/item/JIS_2011__14_4_a2/