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

DOI10.1007/S00153-019-00686-7MaRDI QIDQ2288337zbMATH OpenOpenAlexWikidataFDO

Authors Hiroshi Sakai, Brent Cody

Publication date 17 January 2020

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.08506

zbMATH Keywords

forcingreflection principleweakly compact

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: The weakly compact reflection principle $ext{Refl}_{extwc}(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.

Recommendations

• scientific article; zbMATH DE number 1257359
• Weak compactness is not equivalent to the fixed point property in \(c\)
• On the strength of weak compactness
• Weak \([\omega _ 1,\infty)^ r\)-refinability in ordered spaces
• Weak compactness and no partial squares
• Weak compactness in constructive spaces
• Reflection and Weakly Collectionwise Hausdorff Spaces
• scientific article; zbMATH DE number 176096
• scientific article; zbMATH DE number 6402280
• Weak compactness of the set of -extensions

Cites work

• scientific article; zbMATH DE number 3489124 (Why is no real title available?)
• scientific article; zbMATH DE number 2024204 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 3422371 (Why is no real title available?)
• Adding a nonreflecting weakly compact set
• Cardinal preserving ideals
• Extensions with the approximation and cover properties have no new large cardinals
• Iterated forcing and elementary embeddings
• On splitting stationary subsets of large cardinals
• Orders of indescribable sets
• Reflecting stationary sets
• Reflection and indescribability in the constructible universe
• Saturation of the weakly compact ideal
• Stationary cardinals
• The consistency strength of ``every stationary set reflects
• The fine structure of the constructible hierarchy
• The lottery preparation
• What is the theory ZFC without power set?

Cited in

(9)

• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• Adding a nonreflecting weakly compact set
• Higher indescribability and derived topologies
• On the weak reflection principle
• Structural reflection, shrewd cardinals and the size of the continuum
• Weak Vopěnka's principle does not imply Vopěnka's principle
• Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\)
• Characterizing weak compactness
• scientific article; zbMATH DE number 2024204 (Why is no real title available?)

This page was built for publication: The weakly compact reflection principle need not imply a high order of weak compactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2288337)