A general tool for consistency results related to I1

DOI10.1007/s40879-015-0092-yzbMath1426.03031arXiv1510.03287OpenAlexW2278191539MaRDI QIDQ300492

Vincenzo Dimonte, Liuzhen Wu

Publication date: 28 June 2016

Published in: European Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

singular cardinal hypothesisinfinite combinatoricsPrikry forcingrank-into-rank

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (6)

Generic absoluteness and Boolean names for elements of a Polish space ⋮ Generic at ⋮ GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ \(I_0\) and combinatorics at \(\lambda ^+\) ⋮ I0 and rank-into-rank axioms ⋮ LD-algebras beyond I0

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implications between strong large cardinal axioms
• The wholeness axiom and Laver sequences
• On the algebra of elementary embeddings of a rank into itself
• Rank-into-rank hypotheses and the failure of GCH
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• The tree property at ℵ_ω+2
• Elementary Embeddings and Algebra
• Prikry-Type Forcings
• Elementary embeddings and infinitary combinatorics
• AXIOM I₀ AND HIGHER DEGREE THEORY
• The consistency strength of the tree property at the double successor of a measurable cardina
• ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
• Extender-based Radin forcing
• On SCH and the approachability property
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Powers of regular cardinals
• On sequences generic in the sense of Prikry

This page was built for publication: A general tool for consistency results related to I1