ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS. (March 2020)

• Record Type: Journal Article
• Authors: ANDREWS, URI; BADAEV, SERIKZHAN A.
• Is Part Of: Journal of symbolic logic. Volume 85:Number 1(2020)
• Page Start: 61
• Page End: 86
• Publication Date: 2020-03
• Subjects: 03D25; computably enumerable equivalence relation, -- computable reducibility on equivalence relations, -- halting jump; Logic, Symbolic and mathematical -- Periodicals; 511.3
• DOI: 10.1017/jsl.2019.39
• Languages: English
• ISSNs: 0022-4812

Abstract

Abstract: We examine how degrees of computably enumerable equivalence relations (ceers) under computable reduction break down into isomorphism classes. Two ceers are isomorphic if there is a computable permutation of ω which reduces one to the other. As a method of focusing on nontrivial differences in isomorphism classes, we give special attention to weakly precomplete ceers. For any degree, we consider the number of isomorphism types contained in the degree and the number of isomorphism types of weakly precomplete ceers contained in the degree. We show that the number of isomorphism types must be 1 or ω, and it is 1 if and only if the ceer is self-full and has no computable classes. On the other hand, we show that the number of isomorphism types of weakly precomplete ceers contained in the degree can be any member of $[0, \omega ]$ . In fact, for any $n \in [0, \omega ]$, there is a degree d and weakly precomplete ceers ${E_1}, \ldots, {E_n}$ in d so that any ceer R in d is isomorphic to ${E_i} \oplus D$ for some $i \le n$ and D a ceer with domain either finite or ω comprised of finitely many computable classes. Thus, up to a trivial equivalence, the degree d splits into exactly n classes. We conclude by answering some lingering open questions from the literature: Gao and Gerdes [11] define the collection of essentially FC ceers to be those which are reducible to a ceer all of whose classes are finite. They show that the index set of essentially FC ceers is ${\rm{\Pi }}_3^0$ -hard, though the definition is ${\rm{\Sigma }}_4^0$ . We close the gap by showing that the index set is ${\rm{\Sigma }}_4^0$ -complete. They also use index sets to show that there is a ceer all of whose classes are computable, but which is not essentially FC, and they ask for an explicit construction, which we provide. Andrews and Sorbi [4] examined strong minimal covers of downwards-closed sets of degrees of ceers. We show that if $\left( {{E_i}} \right)$ is a uniform c.e. sequence of non universal ceers, then $\left\{ {{ \oplus _{i \le j}}{E_i}|j \in \omega } \right\}$ has infinitely many incomparable strong minimal covers, which we use to answer some open questions from [4]. Lastly, we show that there exists an infinite antichain of weakly precomplete ceers.