English

The Rank of Tree-Automatic Linear Orderings

Logic in Computer Science 2012-04-16 v1 Logic

Abstract

We generalise Delhomm\'e's result that each tree-automatic ordinal is strictly below \omega^\omega^\omega{} by showing that any tree-automatic linear ordering has FC-rank strictly below \omega^\omega. We further investigate a restricted form of tree-automaticity and prove that every linear ordering which admits a tree-automatic presentation of branching complexity at most k has FC-rank strictly below \omega^k.

Cite

@article{arxiv.1204.3048,
  title  = {The Rank of Tree-Automatic Linear Orderings},
  author = {Martin Huschenbett},
  journal= {arXiv preprint arXiv:1204.3048},
  year   = {2012}
}

Comments

20 pages, 3 figures

R2 v1 2026-06-21T20:49:11.214Z