9 citations · 18 across the 6 of their papers we have counts for
1 paper · 2 filters
Yuri Gurevich, Saharon Shelah
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 fu…