Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures

摘要

We study automatic equivalence and nested equivalence structures. The goal is to compare and contrast these automatic structures with computable equivalence and nested equivalence structures. Equivalence structures A may be characterized by their characters x (A) which encodes the number of equivalence classes of any given size. The characters of computably categorical, △_2~0 categorical but not computably categorical, or △_3~0 categorical but not △_2~0, categorical have been determined. We show that every computably categorical equivalence structure has an automatic copy, but not every △_2~0 categorical structure has an automatic copy. We construct an automatic equivalence structure which is △_2~0 categorical but not computably categorical and another automatic equivalence structure which is not △_2~0 categorical. We observe that the theory of an automatic equivalence structure is decidable and hence the character of any automatic equivalence structure is computable. On the other hand, there is a computable character which is not the character of any automatic equivalence structure. We show that any two automatic equivalence structures which are isomorphic are in fact computably isomorphic. Moreover, we show that for certain characters, there is always a exponential time isomorphism between two automatic equivalence structures with that character. Finally, we briefly consider nested equivalence structures and construct an automatic nested equivalence structure that is not △_3~0 categorical but △_4~0 categorical and an automatic nested equivalence structure that is not △_4~0 categorical.