Spectra of Monadic Second-Order Formulas with One Unary Function

Authors:
Yuri Gurevich;Saharon Shelah
Affiliations:
-;-
Venue:
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Year:
2003

Citing 0
Cited 4

Combinations of theories for decidable fragments of first-order logic

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Yuri, logic, and computer science

Fields of logic and computation
First-Order queries over one unary function

CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Collections, cardinalities, and relations

VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We establish the eventual periodicity of the spectrum of anymonadic second-order formula where(i) all relation symbols, except equality, are unary, and(ii) there is only one function symbol and that symbol isunary.