Spectra of Monadic Second-Order Formulas with One Unary Function

Details Spectra of Monadic Second-Order Formulas with One Unary Function Spectra of Monadic Second-Order Formulas with One Unary Function

2004-04-07

arxiv.org/abs/math/0404150v1

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Spectra of Monadic Second-Order Formulas with One Unary Function does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Spectra of Monadic Second-Order Formulas with One Unary Function, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Spectra of Monadic Second-Order Formulas with One Unary Function will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-244008