%0 Journal Article
%T Tree Automata Make Ordinal Theory Easy
%A Thierry Cachat
%J Computer Science
%D 2006
%I arXiv
%X We give a new simple proof of the decidability of the First Order Theory of (omega^omega^i,+) and the Monadic Second Order Theory of (omega^i,<), improving the complexity in both cases. Our algorithm is based on tree automata and a new representation of (sets of) ordinals by (infinite) trees.
%U http://arxiv.org/abs/cs/0610166v1