Translator Disclaimer
September 2004 On spectra of sentences of monadic second order logic with counting
E. Fischer, J. A. Makowsky
J. Symbolic Logic 69(3): 617-640 (September 2004). DOI: 10.2178/jsl/1096901758

Abstract

We show that the spectrum of a sentence φ in Counting Monadic Second Order Logic (CMSOL) using one binary relation symbol and finitely many unary relation symbols, is ultimately periodic, provided all the models of φ are of clique width at most k, for some fixed k. We prove a similar statement for arbitrary finite relational vocabularies τ and a variant of clique width for τ-structures. This includes the cases where the models of φ are of tree width at most k. For the case of bounded tree-width, the ultimate periodicity is even proved for Guarded Second Order Logic GSOL. We also generalize this result to many-sorted spectra, which can be viewed as an analogue of Parikh’s Theorem on context-free languages, and its analogues for context-free graph grammars due to Habel and Courcelle. Our work was inspired by Gurevich and Shelah (2003), who showed ultimate periodicity of the spectrum for sentences of Monadic Second Order Logic where only finitely many unary predicates and one unary function are allowed. This restriction implies that the models are all of tree width at most 2, and hence it follows from our result.

Citation

Download Citation

E. Fischer. J. A. Makowsky. "On spectra of sentences of monadic second order logic with counting." J. Symbolic Logic 69 (3) 617 - 640, September 2004. https://doi.org/10.2178/jsl/1096901758

Information

Published: September 2004
First available in Project Euclid: 4 October 2004

zbMATH: 1070.03018
MathSciNet: MR2078913
Digital Object Identifier: 10.2178/jsl/1096901758

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
24 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 3 • September 2004
Back to Top