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

Invariant descriptive computability theory

Edited by org.aimpl.user:turboho@gmail.com

    Sections

    1. 1. Effective Jumps
    2. 2. Theory of $(D,\le)$
    3. 3. Continuous degrees of smooth equivalence relations
    4. 4. Reducibility on a cone
    5. 5. Isomorphism problems in a variety
    6. 6. Countable and finitary reducibility
    7. 7. Model-theoretic equivalence relations
    8. 8. Effectivizing hyper-finiteness
    9. 9. Further questions
    1. Bibliography

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