Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
From MaRDI portal
Publication:1247322
DOI10.1007/BF02761175zbMath0381.03039MaRDI QIDQ1247322
Publication date: 1978
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Related Items (only showing first 100 items - show all)
Identity crises and strong compactness. III: Woodin cardinals ⋮ Precipitousness in forcing extensions ⋮ Universal graphs at \(\aleph_{\omega_1 + 1}\) ⋮ Some results on consecutive large cardinals. II: Applications of Radin forcing ⋮ Square and delta reflection ⋮ On the indestructibility aspects of identity crisis ⋮ Prikry-type forcing and the set of possible cofinalities ⋮ A partition theorem for a large dense linear order ⋮ Extending ideals ⋮ Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram ⋮ Accessing the switchboard via set forcing ⋮ Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model ⋮ Bounded stationary reflection. II. ⋮ A strong polarized relation ⋮ The least strongly compact can be the least strong and indestructible ⋮ Patterns of stationary reflection ⋮ On certain indestructibility of strong cardinals and a question of Hajnal ⋮ Distributive proper forcing axiom and cardinal invariants ⋮ Aronszajn trees and the successors of a singular cardinal ⋮ On extendible cardinals and the GCH ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Patterns of compact cardinals ⋮ Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness ⋮ The tree property ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ \(\text{PFA}(S)[S\) for the masses] ⋮ Guessing and non-guessing of canonical functions ⋮ On supercompactness and the continuum function ⋮ Strong polarized relations for the continuum ⋮ Scales at \({\aleph_{\omega} }\) ⋮ On cuts in ultraproducts of linear orders I ⋮ Indestructibility properties of remarkable cardinals ⋮ On some questions concerning strong compactness ⋮ Inner models with large cardinal features usually obtained by forcing ⋮ Indestructibility of Vopěnka's principle ⋮ A remark on the tree property in a choiceless context ⋮ Consecutive singular cardinals and the continuum function ⋮ A Galvin-Hajnal theorem for generalized cardinal characteristics ⋮ Indestructible strong compactness but not supercompactness ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ Iterated forcing and changing cofinalities ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Diagonal reflections on squares ⋮ Guessing models and generalized Laver diamond ⋮ Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable ⋮ Strong tree properties for two successive cardinals ⋮ The tree property and the failure of SCH at uncountable cofinality ⋮ Level by level inequivalence beyond measurability ⋮ Identity crises and strong compactness ⋮ The lottery preparation ⋮ More on HOD-supercompactness ⋮ Resurrection axioms and uplifting cardinals ⋮ Reflecting stationary sets and successors of singular cardinals ⋮ On some properties of Shelah cardinals ⋮ A Laver-like indestructibility for hypermeasurable cardinals ⋮ Diamond, scales and GCH down to \(\aleph_{\omega^2}\) ⋮ Large cardinals and definable well-orders, without the GCH ⋮ Large cardinals need not be large in HOD ⋮ SQUARES, SCALES AND STATIONARY REFLECTION ⋮ Indestructibility, HOD, and the Ground Axiom ⋮ Magidor cardinals ⋮ Indestructibility and measurable cardinals with few and many measures ⋮ Universal indestructibility for degrees of supercompactness and strongly compact cardinals ⋮ Characterizations of the weakly compact ideal on \(P_\kappa\lambda\) ⋮ Tiltan ⋮ Morasses, semimorasses and supercompact ultrafilters ⋮ On HOD-supercompactness ⋮ Supercompactness and measurable limits of strong cardinals ⋮ Martin's maximum and definability in \(H(\aleph_2\)) ⋮ Stationary sets added when forcing squares ⋮ Semiproper forcing axiom implies Martin maximum but not PFA+ ⋮ More on the pressing down game ⋮ European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 ⋮ Diagonal supercompact Radin forcing ⋮ Problems arising from Balogh's ``Locally nice spaces under Martin's axiom ⋮ Continuous tree-like scales ⋮ Indestructibility, instances of strong compactness, and level by level inequivalence ⋮ On a problem of Foreman and Magidor ⋮ Indestructible Strong Compactness and Level by Level Equivalence with No Large Cardinal Restrictions ⋮ A theorem and some consistency results in partition calculus ⋮ The saturation of club guessing ideals ⋮ More on full reflection below \({\aleph_\omega}\) ⋮ Normal measures and strongly compact cardinals ⋮ Ultrahuge cardinals ⋮ Set-theoretic geology ⋮ Global Chang's conjecture and singular cardinals ⋮ Strongly compact cardinals and the continuum function ⋮ A model of Cummings and Foreman revisited ⋮ More rigid ideals ⋮ Destruction or preservation as you like it ⋮ S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees ⋮ Indestructible strong compactness and level by level inequivalence ⋮ Characterizing weak compactness ⋮ Partition subalgebras for maximal almost disjoint families ⋮ Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\) ⋮ The wholeness axiom and Laver sequences ⋮ The large cardinals between supercompact and almost-huge ⋮ A universal indestructibility theorem compatible with level by level equivalence ⋮ Some results on consecutive large cardinals ⋮ The envelope of a pointclass under a local determinacy hypothesis
Cites Work
This page was built for publication: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
