Spectra of Monadic Second-Order Formulas with One Unary Function

  • Yuri Gurevich ,
  • Saharon Shelah

MSR-TR-2002-127 |

Note : Revised April 2003.

We establish the eventual periodicity of the spectrum of any monadic second order formula where (i) all relation symbols, except equality, are unary and (ii) there is only one function symbol and that function is unary.