1: \begin{abstract}

2: \noi   We consider $\om^n$-automatic structures which are relational structures whose

3: domain and relations are accepted by automata reading ordinal words of length $\om^n$ for some integer $n\geq 1$.

4: We show that all these structures are $\om$-tree-automatic structures presentable  by Muller or Rabin tree automata.

5: We prove that  the  isomorphism relation for

6: $\om^2$-automatic (resp. $\om^n$-automatic for $n>2$) boolean algebras (respectively, partial orders, rings, commutative rings,

7: non commutative rings, non commutative groups) is not determined by the  axiomatic system {\rm ZFC}.

8: We infer from the proof of the above result that

9: the  isomorphism problem for  $\om^n$-automatic boolean algebras, $n\geq 2$,  (respectively,  rings, commutative rings,

10: non commutative rings, non commutative groups)

11: is neither a $\Si_2^1$-set nor a  $\Pi_2^1$-set.

12: We obtain that there exist infinitely many $\om^n$-automatic, hence also $\om$-tree-automatic,

13: atomless  boolean algebras $\mathcal{B}_n$, $n\geq 1$, which are pairwise isomorphic under

14: the continuum hypothesis {\rm  CH} and pairwise non isomorphic under an alternate axiom {\rm AT}, strengthening a result of \cite{Fin-Tod}.

15: 

16: \end{abstract}