Sciweavers

LICS
2003
IEEE

Spectra of Monadic Second-Order Formulas with One Unary Function

14 years 5 months ago
Spectra of Monadic Second-Order Formulas with One Unary Function
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 symbol is unary.
Yuri Gurevich, Saharon Shelah
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where LICS
Authors Yuri Gurevich, Saharon Shelah
Comments (0)