Castillo Fernández, Marianela Isabel
(Universidad de Concepción., 2011)
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 ...