Motivated by a mathematical logic problem, J.R. Buchi proposed the following problem in the early 1970’s. Problem (B¨uchi’s problem). B2(Z). Does there exist a positive integer M such that any sequence of M integer ...