Invariant descriptive computability theory

$\newcommand{\Cat}{{\rm Cat}}$

$\newcommand{\A}{\mathcal A}$

$\newcommand{\freestar}{ \framebox[7pt]{$\star$} }$

8. Effectivizing hyper-finiteness

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.

Choose a section to move this problem to.