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

8. Effectivizing hyper-finiteness


    1. Add remark

      Problem 8.1.

      Is some version of the hyperaperiodicity argument useful for the $\omega$-content?

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