The Isomorphism Relation Between Tree-Automatic Structures

Olivier Finkel, Stevo Todorcevic

An $\omega$-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism pro…