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