Guessing models and generalized Laver diamond

DOI10.1016/j.apal.2011.12.015zbMath1270.03084arXiv1012.2212OpenAlexW2067542931MaRDI QIDQ450960

Matteo Viale

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalsforcing axiomselementary embeddingsguessing modelinaccessibilityLaver diamond

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65)

Related Items

Small embedding characterizations for large cardinals ⋮ Martin's maximum and tower forcing ⋮ Covering properties and square principles ⋮ The super tree property at the successor of a singular ⋮ A note on highly connected and well-connected Ramsey theory ⋮ Indestructibility of some compactness principles over models of \(\mathsf{PFA} \) ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ On the universality of the nonstationary ideal ⋮ Salce's problem on cotorsion pairs is undecidable ⋮ Strong tree properties, Kurepa trees, and guessing models ⋮ On the consistency strength of the proper forcing axiom ⋮ Strong tree properties for two successive cardinals ⋮ Guessing models and the approachability ideal ⋮ NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING ⋮ FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION ⋮ Strong tree properties for small cardinals ⋮ PFA and ideals on \(\omega_{2}\) whose associated forcings are proper ⋮ Martin's maximum revisited ⋮ ITP, ISP, AND SCH ⋮ Maximum deconstructibility in module categories ⋮ Guessing models imply the singular cardinal hypothesis ⋮ Prevalence of Generic Laver Diamond

Cites Work

• Unnamed Item
• Unnamed Item
• The combinatorial essence of supercompactness
• On the consistency strength of the proper forcing axiom
• A family of covering properties
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• On the role of supercompact and extendible cardinals in logic
• Handbook of Set Theory
• INTERNAL APPROACHABILITY AND REFLECTION
• Internally club and approachable for larger structures
• A general Mitchell style iteration
• Precipitous towers of normal filters
• Combinatorial Characterization of Supercompact Cardinals
• Set Theory
• A new proof of Kunen’s inconsistency