Pastén Vásquez, Héctor Hardy
(Universidad de Concepción., 2010)
In any commutative ring A with unit, Büchi sequences are those
sequences whose second di erence of squares is the constant sequence (2). Sequences
of elements xn satisfying x2
n = (x + n)2 for some xed x are Büchi
sequences ...