1 citations · 1 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2017
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…
math.LO2012
Embedding an analytic equivalence relation in the transitive closure of a Borel relation
Edward J. Green
The transitive closure of a reflexive, symmetric, analytic relation is an analytic equivalence relation. Does some smaller class contain the transitive closure of every reflexive,…