weakly hyper-Woodin cardinal

  1. redirectWoodin cardinal