GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS

DOI10.1017/jsl.2017.27zbMath1422.03111arXiv1511.05326OpenAlexW2963363689MaRDI QIDQ5359568

Giorgio Audrito, Silvia Steila

Publication date: 26 September 2017

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

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

zbMATH Keywords

large cardinalsextenderstowersgeneric large cardinals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Related Items (1)

On the universality of the nonstationary ideal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general tool for consistency results related to I1
• Martin's maximum and tower forcing
• Generalizations of the Kunen inconsistency
• Precipitous ideals and \(\sum^1_4\) sets
• Non-existence of generic elementary embeddings into the ground model
• Calculating quotient algebras of generic embeddings
• Rank-into-rank hypotheses and the failure of GCH
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• Iterated Forcing and Elementary Embeddings
• Ideals and Generic Elementary Embeddings
• Indestructibility of generically strong cardinals
• On a condition for Cohen extensions which preserve precipitous ideals
• Set Theory

This page was built for publication: GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS