Guessing models and generalized Laver diamond

DOI10.1016/j.apal.2011.12.015zbMath1270.03084arXiv1012.2212MaRDI 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 cardinals; forcing axioms; elementary embeddings; guessing model; inaccessibility; Laver diamond

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E55: Large cardinals

03E05: Other combinatorial set theory

03E65: Other set-theoretic hypotheses and axioms

Related Items

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item