5
$\begingroup$

This is a question I was given in the exam: show that if $\lambda, \kappa$ are uncountable cardinals then $$(H_\lambda,\in) \prec_1 (H_\kappa,\in)$$ where $H_\lambda$ is the class of all sets $x$ such that $|TC(x)| < \lambda$. ($TC(x)$ refers to the transitive closure of $x$.)

Equivalently, given any $\Sigma_1$ formula $\varphi(x_1,x_2,...,x_n)$ with free variables shown and $a_1,a_2,...,a_n \in H_\lambda$ then $(H_\lambda,\in) \models \varphi(a_1,...,a_n)$ if and only if $(H_\kappa,\in) \models \varphi(a_1,...,a_n)$.

I have tried hard without success. Can anyone give me a hint?

$\endgroup$
2
  • 9
    $\begingroup$ The crucial question is whether your exam is over. $\endgroup$ Apr 27, 2011 at 16:13
  • $\begingroup$ @Andrej: I think that at this point it's safe to assume that the exam is over. $\endgroup$
    – Asaf Karagila
    Jun 2, 2015 at 4:29

1 Answer 1

5
$\begingroup$

I assume that you mean to assume $\lambda\leq\kappa$.

For any $\vec x\in H_\lambda$, we may by the Lowenheim-Skolem theorem find an elementary substructure $X\subset H_\kappa$ with $TC(\vec x)\subset X$ and $X$ having size less than $\lambda$. In particular, $X$ has a witness $z$ for your $\Sigma_1$ statement $\exists z\,\psi(\vec x,z)$, so that $\psi(\vec x,z)$ for this particular $z$. Let $X_0$ be the Mostowski collapse of $X$. This is a transitive set of size less than $\lambda$ and hence $X_0\subset H_\lambda$. Furthermore, $\vec x$ is not changed by the collapse. Thus, if $z_0$ is the set $z$ collapses to, then we have $\psi(\vec x,z_0)$ in $X_0$ and hence also in $H_\lambda$. So we've found a witness in $H_\lambda$, and so $H_\lambda$ is $\Sigma_1$ elementary in $H_\kappa$, as desired.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.