User blog comment:Alemagno12/Some guesses about collapsing cardinals beyond weakly compact cardinals/@comment-1605058-20180217092304

What do things like "recursively weakly compact with recursively weakly compact condition over Π4-reflecting ordinals" mean?