Weak Rudin–Keisler reductions on projective ideals

Abstract

We consider a slightly modified form of the standard Rudin-Keisler order on ideals and demonstrate the existence of complete (with respect to this order) ideals in various projective classes. Using our methods, we obtain a simple proof of Hjorth's theorem on the existence of a complete $\mathbf \Pi^1_1$ equivalence relation. Our proof of Hjorth's theorem enables us (under PD) to generalize his result to the classes of $\mathbf \Pi^1_{2n+1}$ equivalence relations.