Covering of ordinals

Laurent Braud
The paper focuses on the structure of fundamental sequences of ordinals smaller than $\e$. 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.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.