Open Questions around BÜchi and Presburger Arithmetics
Christian Michaux, Roger Villemaire · 1996
Abstract BÜchi characterized sets of natural numbers recognizable by finite automata in base k as the sets of natural numbers definable in W Sl S, the weak monadic second-order theory of one successor.