Covering of ordinals

Details Covering of ordinals Covering of ordinals

2009-11-25

arxiv.org/abs/0911.4792v1

Proc. of FSTTCS 2009, pp.97-108

Computer Science

Logic in Computer Science

Accepted at FSTTCS'09

Scientific paper

The paper focuses on the structure of fundamental sequences of ordinals smaller than $\epsilon_0$. A first result is the construction of a monadic second-order formula identifying a given structure, whereas such a formula cannot exist for ordinals themselves. The structures are precisely classified in the pushdown hierarchy. Ordinals are also located in the hierarchy, and a direct presentation is given.

Affiliated with

Also associated with

No associations

Rating

Covering of ordinals 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 Covering of ordinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Covering of ordinals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-623366