We investigate the orbit of a low computably enumerable set un-der automorphisms of the partial order E of c.e. sets under inclusion. Given an arbitrary low c.e. set A and an arbitrary noncomputable c.e. set C, we use the New Extension Theorem of Soare to construct an automorphism of E mapping A to a set B such that C 6≤T B. Thus, the orbit in E of the low set A cannot be contained in the upper cone above C. This complements a result of Harrington, who showed that the orbit of a noncomputable c.e. set cannot be contained in the lower cone below any incomplete c.e. set.
This paper generalizes results of F. Körner from [4] where she established the existence of maximal ...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
AbstractBy finding invariant embeddings of a partially ordered set X into the semigroups it is shown...
AbstractWe investigate the orbit of a low computably enumerable (c.e.) set under automorphisms of th...
We prove an algebraic extension theorem for the computably enumerable sets, E . Using this extensio...
Abstract. We survey some of the recent results on the structure of the computably enumerable (c.e.) ...
The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such t...
An almost computably enumerable family that is not Ø′- computably enumerable is constructed. Moreove...
We prove that a partially ordered set of all computably enumerable (c. e.) degrees that are the leas...
We show that for any computably enumerable (c. e.) set A and any Δ0 2 set L, if L is low and L <T A,...
AbstractA completely mitotic computably enumerable degree is a c.e. degree in which every c.e. set i...
AbstractThe number of automorphisms of a structure with no uncountable orbits and at most countably ...
AbstractWe prove the following three theorems on the enumeration degrees of ∑20 sets. Theorem A: The...
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their de...
We prove that each ∑02 set which is hypersimple relative to 0′ is noncuppable in the structure of th...
This paper generalizes results of F. Körner from [4] where she established the existence of maximal ...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
AbstractBy finding invariant embeddings of a partially ordered set X into the semigroups it is shown...
AbstractWe investigate the orbit of a low computably enumerable (c.e.) set under automorphisms of th...
We prove an algebraic extension theorem for the computably enumerable sets, E . Using this extensio...
Abstract. We survey some of the recent results on the structure of the computably enumerable (c.e.) ...
The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such t...
An almost computably enumerable family that is not Ø′- computably enumerable is constructed. Moreove...
We prove that a partially ordered set of all computably enumerable (c. e.) degrees that are the leas...
We show that for any computably enumerable (c. e.) set A and any Δ0 2 set L, if L is low and L <T A,...
AbstractA completely mitotic computably enumerable degree is a c.e. degree in which every c.e. set i...
AbstractThe number of automorphisms of a structure with no uncountable orbits and at most countably ...
AbstractWe prove the following three theorems on the enumeration degrees of ∑20 sets. Theorem A: The...
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their de...
We prove that each ∑02 set which is hypersimple relative to 0′ is noncuppable in the structure of th...
This paper generalizes results of F. Körner from [4] where she established the existence of maximal ...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
AbstractBy finding invariant embeddings of a partially ordered set X into the semigroups it is shown...