Completeness conjecture for Π20\Pi^0_2Π20 equivalence relations with two complete classes
Completeness conjecture. EEE might be complete under ≤c4\leq_c^4≤c4, but not under ≤c5\leq_c^5≤c5.
MathDB