A universal indestructibility theorem compatible with level by level equivalence

DOI10.1007/s00153-015-0421-3zbMath1375.03060MaRDI QIDQ2339965

Arthur W. Apter

Publication date: 14 April 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-015-0421-3

zbMATH Keywords

indestructibility; lottery sum; supercompact cardinal; level by level equivalence between strong compactness and supercompactness

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E55: Large cardinals

Cites Work

• Unnamed Item
• Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Diamond, square, and level by level equivalence
• The lottery preparation
• Indestructibility and the level-by-level agreement between strong compactness and supercompactness
• More Easton theorems for level by level equivalence
• Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence
• Indestructibility under adding Cohen subsets and level by level equivalence
• On strong compactness and supercompactness
• On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• Small forcing makes any cardinal superdestructible
• Indestructibility, strongness, and level by level equivalence
• Failures of GCH and the level by level equivalence between strong compactness and supercompactness
• On the strong equality between supercompactness and strong compactness
• Gap forcing