Cardinals and iterations of HOD
Tom 58 / 1990
Colloquium Mathematicum 58 (1990), 159-161
DOI: 10.4064/cm-58-2-159-161