Loading Web-Font TeX/Main/Regular
| Register
\newcommand{\Cat}{{\rm Cat}} \newcommand{\A}{\mathcal A} \newcommand{\freestar}{ \framebox[7pt]{$\star$} }

Invariant descriptive computability theory

Edited by Meng-Che Ho

    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.