GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
From MaRDI portal
Publication:5359568
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
Related Items (1)
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