| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

2. Theory of $(D,\le)$


    1. Add remark

      Problem 2.1.

      What is the complexity of the theory of the Borel equivalence relation under Borel reducibility?

          Cite this as: AimPL: Invariant descriptive computability theory, available at http://aimpl.org/invdesccomp.