Suppose that $X$ is a constructible set, denote by $H^{L_{\alpha}}(X)$ the Skolem hull of $X$ in $L_{\alpha}$. Is $H^{L_{\alpha}}(X)$ constructible?
Constructibility of Skolem hulls of constructible sets
4
$\begingroup$
set-theory
1 Answers
5
I assume by Skolem hull you mean the one obtained by using the Skolem functions that are definable using the well-ordering of $L_\alpha$ (which, to simplify our life, I'll assume is limit, so the well-ordering of $L$, when interpreted inside $L_\alpha$, is precisely the initial segment of this well-ordering that well-orders $L_\alpha$ itself).
The answer to your question is then yes. $H^{L_\alpha}(X)$ is constructible, as it is definable in, say, $L_{\alpha+\omega}$ from $X$ and $L_\alpha$ (and $\models_{L_\alpha}$ and $\lt_{L_\alpha}$).
The bound $\alpha+\omega$ is lazy, of course.