Does anyone know where I can find a proof for the Condensation Lemma for the L[U] hierarchy in Set Theory?
Thanks a lot.
Condensation for L[U]
Eran
- 41
- 1