We consider ωn-automatic structures which are relational structures
whose domain and relations are accepted by automata reading ordinal words of
length ωn for some integer n≥1. We show that all these structures
are ω-tree-automatic structures presentable by Muller or Rabin tree
automata. We prove that the isomorphism relation for ω2-automatic
(resp. ωn-automatic for n>2) boolean algebras (respectively, partial
orders, rings, commutative rings, non commutative rings, non commutative
groups) is not determined by the axiomatic system ZFC. We infer from the proof
of the above result that the isomorphism problem for ωn-automatic
boolean algebras, n>1, (respectively, rings, commutative rings, non
commutative rings, non commutative groups) is neither a Σ21-set nor a
Π21-set. We obtain that there exist infinitely many ωn-automatic,
hence also ω-tree-automatic, atomless boolean algebras Bn, n≥1,
which are pairwise isomorphic under the continuum hypothesis CH and pairwise
non isomorphic under an alternate axiom AT, strengthening a result of [FT10].Comment: To appear in The Journal of Symbolic Logic. arXiv admin note:
substantial text overlap with arXiv:1007.082