Büchi Sequences in Local Fields and Local Rings
We prove that there exist infinite Büchi i sequences in some local rings and local fields, with the exception of the ring of p-adic integers. In there are only finite but arbitrarily long Büchi sequences.