Spectra of Monadic Second-Order Formulas with One Unary Function
Logic
2007-05-23 v1
Abstract
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.
Keywords
Cite
@article{arxiv.math/0404150,
title = {Spectra of Monadic Second-Order Formulas with One Unary Function},
author = {Yuri Gurevich and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0404150},
year = {2007}
}