Stav dette: Set theory and hierarchy theory V