STATIONARY REFLECTION AND THE FAILURE OF THE SCH

DOI10.1017/JSL.2023.80MaRDI QIDQ6123577zbMATH OpenOpenAlexFDO

Authors Omer Ben-Neria, Yair Hayut, Spencer Unger

Publication date 5 April 2024

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Prikry forcingSCHstationary reflection

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Abstract: In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal $u$ such that the singular cardinal hypothesis fails at $u$ and every collection of fewer than $mathrmcf(u)$ stationary subsets of $u^{+}$ reflects simultaneously. For uncountable cofinality, this situation was not previously known to be consistent. Using different methods, we reduce the upper bound on the consistency strength of this situation for $mathrmcf(u)=omega$ to below a single partially supercompact cardinal. The previous upper bound of infinitely many supercompact cardinals was due to Sharon.

Cites work

• A model for a very good scale and a bad scale
• A new Löwenheim-Skolem theorem
• Another method for constructing models of not approachability and not SCH
• Aronszajn trees and failure of the singular cardinal hypothesis
• Blowing up the power of a singular cardinal of uncountable cofinality
• Extender-based Magidor-Radin forcing
• scientific article; zbMATH DE number 3557791 (Why is no real title available?)
• Iterated forcing and elementary embeddings
• Iterated ultrapowers and prikry forcing
• Mathias like criterion for the extender based Prikry forcing
• On SCH and the approachability property
• Prikry on extenders, revisited
• Prikry-type forcings
• Reflecting stationary sets
• Reflection and not SCH with overlapping extenders
• Reflection implies the SCH
• Scales at \({\aleph_{\omega} }\)
• Sigma-Prikry forcing. I: The axioms
• STATIONARY REFLECTION
• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
• The tree property and the failure of SCH at uncountable cofinality
• The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\)

This page was built for publication: STATIONARY REFLECTION AND THE FAILURE OF THE SCH

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