It is known that every non-universal self-full degree in the structure of the degrees of computably enumerable equivalence relations (ceers) under computable reducibility has exactly one strong minimal cover. This leaves little room for embedding wide partial orders as initial segments using self-full degrees. We show that considerably more can be done by staying entirely inside the collection of non-self full degrees. We show that the poset of finite strings of natural numbers, under the relation of being an initial segment, can be embedded as an initial segment of the degrees of ceers with infinitely many classes. A further refinement of the proof shows that one can also embed the free distributive lattice generated by the lower semilatt...
This note addresses the issue as to which ceers can be realized by word problems of computably enume...
Abstract. We study computably enumerable equivalence relations (ceers) on N and unravel a rich struc...
Abstract. A set A is symmetric enumeration (se-) reducible to a set B (A≤seB) if A is enumeration re...
It is known that every non-universal self-full degree in the structure of the degrees of computably ...
We study computably enumerable equivalence relations (abbreviated as ceers) under computable reducib...
A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a red...
Abstract. We study computably enumerable equivalence relations (ceers), under the reducibility R ≤ S...
We study computably enumerable equivalence relations (ceers), under the reducibility R ≤ S if there ...
Using computable reducibility $\le$ on equivalence relations, we investigate weakly precomplete ceer...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) ...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
We contribute to a recent research program which aims at revisiting the study of the complexity of w...
We study the weak truth-table and truth-table degrees of the images of subsets of computable structu...
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature. A major theme in the study of degree ...
This note addresses the issue as to which ceers can be realized by word problems of computably enume...
Abstract. We study computably enumerable equivalence relations (ceers) on N and unravel a rich struc...
Abstract. A set A is symmetric enumeration (se-) reducible to a set B (A≤seB) if A is enumeration re...
It is known that every non-universal self-full degree in the structure of the degrees of computably ...
We study computably enumerable equivalence relations (abbreviated as ceers) under computable reducib...
A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a red...
Abstract. We study computably enumerable equivalence relations (ceers), under the reducibility R ≤ S...
We study computably enumerable equivalence relations (ceers), under the reducibility R ≤ S if there ...
Using computable reducibility $\le$ on equivalence relations, we investigate weakly precomplete ceer...
AbstractLet Es denote the lattice of Medvedev degrees of non-empty Π10 subsets of 2ω, and let Ew den...
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) ...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
We contribute to a recent research program which aims at revisiting the study of the complexity of w...
We study the weak truth-table and truth-table degrees of the images of subsets of computable structu...
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature. A major theme in the study of degree ...
This note addresses the issue as to which ceers can be realized by word problems of computably enume...
Abstract. We study computably enumerable equivalence relations (ceers) on N and unravel a rich struc...
Abstract. A set A is symmetric enumeration (se-) reducible to a set B (A≤seB) if A is enumeration re...