Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

The isomorphism relation between tree-automatic Structures

100%

Finkel O., Todorčević S.

Open Mathematics

2010

tom 8

nr 2

299-313

An ω-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 problem for ω-tree-automatic structures. We prove first that the isomorphism relation for ω-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n ≥ 2) is not determined by the axiomatic system ZFC. Then we prove that the isomorphism problem for ω-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n ≥ 2) is neither a Σ21-set nor a Π21-set.

Ograniczanie wyników

1 Open Mathematics

1 Finkel O.

1 Todorčević S.

1 2010

Wyniki wyszukiwania

The isomorphism relation between tree-automatic Structures