Journal of Symbolic Logic 68 (3):1044-1064 (2003)

We show that if A and $\widehat{A}$ are automorphic via Φ then the structures $S_{R}(A)$ and $S_{R}(\widehat{A})$ are $\Delta_{3}^{0}-isomorphic$ via an isomorphism Ψ induced by Φ. Then we use this result to classify completely the orbits of hhsimple sets
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1058448453
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,287
Through your library

References found in this work BETA

Splitting Theorems in Recursion Theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
On the Orbits of Hyperhypersimple Sets.Wolfgang Maass - 1984 - Journal of Symbolic Logic 49 (1):51-62.
Friedberg Splittings of Recursively Enumerable Sets.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 59 (3):175-199.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
33 ( #290,083 of 2,325,534 )

Recent downloads (6 months)
6 ( #134,183 of 2,325,534 )

How can I increase my downloads?


My notes