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

DOI10.1007/S00153-019-00686-7zbMATH Open1445.03058arXiv1707.08506OpenAlexW2755141267WikidataQ127558511 ScholiaQ127558511MaRDI QIDQ2288337FDOQ2288337

Authors: Hiroshi Sakai, Brent Cody 

Publication date: 17 January 2020

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

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.

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

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 \(\varepsilon\)-extensions

zbMATH Keywords

forcingreflection principleweakly compact

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• Higher indescribability and derived topologies
• Adding a nonreflecting weakly compact set
• 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
• Title not available (Why is that?)

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)