Title: On Mass Problems of Presentability

Corrections: Theorem 7 is wrong. The converse trivially follows from $\Sigma$-definability of $(\omega_1^{CK}+1,\leqslant)$ in $HF(\omega_1^{CK},\leqslant)$ with no parameters.

PDF (original)

PDF (corrected)