Spectra of monadic second-order formulas with one unary function

Yuri Gurevich*, Saharon Shelah

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

12 Scopus citations

Abstract

The spectra of monadic second-order (MSO) formulas with one unary function is studied. The spectrum of a first-order or second-order formula is the set of the cardinalities of its finite models. A direct proof of the decidability of the finite satisfiability of MSO formulas with one unary function symbol is given.

Original languageEnglish
Pages (from-to)291-300
Number of pages10
JournalProceedings - Symposium on Logic in Computer Science
StatePublished - 2003
Event18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada
Duration: 22 Jun 200325 Jun 2003

Fingerprint

Dive into the research topics of 'Spectra of monadic second-order formulas with one unary function'. Together they form a unique fingerprint.

Cite this