English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The weakly compact reflection principle$${\mathrm{Refl}}_{{\mathrm{wc}}}(\kappa )$$ states that $$\kappa $$ is a weakly compact cardinal and every weakly compact subset of $$\kappa $$ has a weakly compact proper initial segment. The weakly compact reflection principle at $$\kappa $$ implies that $$\kappa $$ is an $$\omega $$-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that $$\kappa $$ is $$(\omega +1)$$-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at $$\kappa $$ then there is a forcing extension preserving this in which $$\kappa $$ is the least $$\omega $$-weakly compact cardinal. Along the way we generalize the well-known result which states that if $$\kappa $$ is a regular cardinal then in any forcing extension by $$\kappa $$-c.c. forcing the nonstationary ideal equals the ideal generated by the ground model nonstationary ideal; our generalization states that if $$\kappa $$ is a weakly compact cardinal then after forcing with a ‘typical’ Easton-support iteration of length $$\kappa $$ the weakly compact ideal equals the ideal generated by the ground model weakly compact ideal.

The weakly compact reflection principle need not imply a high order of weak compactness