MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

DOI10.1017/jsl.2021.73MaRDI QIDQ5879186

Alejandro Poveda, Joan Bagaria

Publication date: 27 February 2023

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

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

zbMATH Keywords

large cardinals; extendible cardinals; Vopěnka's principle; class forcing iterations

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E55: Large cardinals

03Exx: Set theory

Related Items

STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On extendible cardinals and the GCH
• Subcompact cardinals, squares, and stationary reflection
• \(C ^{(n)}\)-cardinals
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Indestructibility of Vopěnka's principle
• Homogeneous iteration and measure one covering relative to HOD
• On certain indestructibility of strong cardinals and a question of Hajnal
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Fine structure and class forcing
• Combinatorial principles in the core model for one Woodin cardinal
• The lottery preparation
• Definable orthogonality classes in accessible categories are small
• Model theoretic characterizations of large cardinals
• On the role of supercompact and extendible cardinals in logic
• SQUARES, SCALES AND STATIONARY REFLECTION
• ON ${\omega _1}$-STRONGLY COMPACT CARDINALS
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• SUITABLE EXTENDER MODELS I
• The ground axiom is consistent with V $\neq $ HOD
• Large cardinals and definable well-orders on the universe
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• The ground axiom
• Consistency results about ordinal definability
• Superstrong and other large cardinals are never Laver indestructible