Generalisations of stationarity, closed and unboundedness, and of Jensen's □. - H. Brickhill; Philip D. Welch (Ann. Pure Appl. Log., 2023)