INTROENUMERABILITY, AUTOREDUCIBILITY, AND RANDOMNESS.
We define upper Psi $\Psi $ Ψ -autoreducible sets given an autoreduction procedure upper Psi $\Psi $ Ψ. Then, we show that for any upper Psi $\Psi $ Ψ , a measurable class of upper Psi $\Psi $ Ψ -autoreducible sets has measure zero. Using this, we show that classes of cototal, uniformly introenumera...
| Publicado en: | Journal of Symbolic Logic Vol. 91; no. 2; pp. 617 - 626 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Jun2026
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |