Semi-decidable equivalence relations obtained by composition and lattice join of decidable equivalence relations

Edward J. Green

Composition and lattice join (transitive closure of a union) of equivalence relations are operations taking pairs of decidable equivalence relations to relations that are semi-deci…