Article contents
Isomorphisms of splits of computably enumerable sets
Published online by Cambridge University Press: 12 March 2014
Abstract
We show that if A and are automorphic via Φ then the structures (A) and () are Δ30-isomorphic via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2003
References
REFERENCES
- 5
- Cited by