Results 1 -
3 of
3
Isomorphisms Of Splits Of Computably Enumerable Sets
- J. OF SYMBOLIC LOGIC
, 2002
"... We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 -isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets. ..."
Abstract
-
Cited by 4 (4 self)
- Add to MetaCart
We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 -isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets.
On the Orbits of Computable Enumerable Sets
- Submitted
"... Abstract. The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1-complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily defi ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
Abstract. The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1-complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof). 1.
THE COMPLEXITY OF ORBITS OF COMPUTABLY ENUMERABLE SETS
"... Abstract. The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1-complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1-complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof). 1.
