6 research outputs found
A Hierarchy of Tree-Automatic Structures
We consider -automatic structures which are relational structures
whose domain and relations are accepted by automata reading ordinal words of
length for some integer . We show that all these structures
are -tree-automatic structures presentable by Muller or Rabin tree
automata. We prove that the isomorphism relation for -automatic
(resp. -automatic for ) 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 -automatic
boolean algebras, , (respectively, rings, commutative rings, non
commutative rings, non commutative groups) is neither a -set nor a
-set. We obtain that there exist infinitely many -automatic,
hence also -tree-automatic, atomless boolean algebras , ,
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
The isomorphism problem for tree-automatic ordinals with addition
This paper studies tree-automatic ordinals (or equivalently, well-founded
linearly ordered sets) together with the ordinal addition operation +.
Informally, these are ordinals such that their elements are coded by finite
trees for which the linear order relation of the ordinal and the ordinal
addition operation can be determined by tree automata. We describe an algorithm
that, given two tree-automatic ordinals with the ordinal addition operation,
decides if the ordinals are isomorphic