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)