Effective categoricity of equivalence Structures

Details Effective categoricity of equivalence Structures Effective categoricity of equivalence Structures

2008-05-13

arxiv.org/abs/0805.1887v1

Annals of Pure and Applied Logic 141 (2006) 61--78

Mathematics

Logic

Improved form published

Scientific paper

An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $\Delta^0_\alpha$ categorical if for any computable structure B isomorphic to A there is a $\Delta^0_\alpha$ function witnessing that the two are isomorphic. The present paper gives an exact characterization of $\Delta^0_\alpha$ equivalence structures where $\alpha = 1$ or $\alpha \geq 3$. Extensive results for $\alpha = 2$ are also given, and open cases are exhaustively described.

Affiliated with

Also associated with

No associations

Rating

Effective categoricity of equivalence Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Effective categoricity of equivalence Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Effective categoricity of equivalence Structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-472737