Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing

From MaRDI portal
Publication:1247322

DOI10.1007/BF02761175zbMath0381.03039MaRDI QIDQ1247322

Richard Laver

Publication date: 1978

Published in: Israel Journal of Mathematics (Search for Journal in Brave)




Related Items

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, The least measurable can be strongly compact and indestructible, Universal graphs at the successor of a singular cardinal, The non-compactness of square, Exactly controlling the non-supercompact strongly compact cardinals, An AD-like model, Gap Forcing: Generalizing the Lévy-Solovay Theorem, Coding into HOD via normal measures with some applications, AXIOM I0 AND HIGHER DEGREE THEORY, Kurepa trees and the failure of the Galvin property, Mixed Levels of Indestructibility, The Axiom of Infinity and Transformations j: V → V, SMALL UNIVERSAL FAMILIES OF GRAPHS ON ℵω + 1, Wild edge colourings of graphs, INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT, Fragile measurability, Uniformization principles, IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE, Unnamed Item, Strong unfoldability, shrewdness and combinatorial consequences, Possible behaviours of the reflection ordering of stationary sets, Compactness and guessing principles in the Radin extensions, A framework for forcing constructions at successors of singular cardinals, Dowker and super-Dowker filters, The PCF conjecture and large cardinals, κ‐Madness and definability, TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS, The consistency strength of an infinitary Ramsey property, Precisely controlling level by level behavior, The downward directed grounds hypothesis and very large cardinals, The first omitting cardinal for Magidority, A model in which every Boolean algebra has many subalgebras, Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\), SQUARES AND NARROW SYSTEMS, Reflection principles, GCH and the uniformization properties, On weak square, approachability, the tree property, and failures of SCH in a choiceless context, Negating the Galvin property, The special Aronszajn tree property, The ground axiom is consistent with V $\neq $ HOD, Menas’ Result is Best Possible, Splitting number at uncountable cardinals, Saturation Properties of Ideals in Generic Extensions. I, Closed maximality principles: implications, separations and combinations, On CON(𝔡_{𝜆}> cov_{𝜆}(meagre)), The tree property at $\aleph _{\omega +2}$ with a finite gap, The higher Cichoń diagram, Kurepa trees and Namba forcing, WEAK SQUARES AND VERY GOOD SCALES, Strong tree properties for small cardinals, Small forcing makes any cardinal superdestructible, Laver indestructibility and the class of compact cardinals, On precipitousness of the nonstationary ideal over a supercompact, REFLECTION OF STATIONARY SETS AND THE TREE PROPERTY AT THE SUCCESSOR OF A SINGULAR CARDINAL, Hierarchies of ineffabilities, Laver sequences for extendible and super-almost-huge cardinals, An equiconsistency for universal indestructibility, When Does Almost Free Imply Free? (For Groups, Transversals, etc.), Gap forcing, JOINT DIAMONDS AND LAVER DIAMONDS, The ground axiom, Winning the pressing down game but not Banach-Mazur, On measurable limits of compact cardinals, Diagonal Prikry extensions, On reflection of stationary sets in $\mathcal {P}_\kappa \lambda $, Indestructibility and destructible measurable cardinals, Superstrong and other large cardinals are never Laver indestructible, Laver and set theory, The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃, Indestructibility and stationary reflection, Indestructibility under adding Cohen subsets and level by level equivalence, The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾, ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC, Specializing trees and answer to a question of Williams, Approachability at the second successor of a singular cardinal, Superdestructibility: A dual to Laver's indestructibility, Indestructibility, measurability, and degrees of supercompactness, SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES, ON RESURRECTION AXIOMS, Strongly unfoldable cardinals made indestructible, A model for a very good scale and a bad scale, Chains of end elementary extensions of models of set theory, The κ-closed unbounded filter and supercpmpact cardinals, Prevalence of Generic Laver Diamond, HIGHER MILLER FORCING MAY COLLAPSE CARDINALS, Simplified morasses with linear limits, Indestructibility and the level-by-level agreement between strong compactness and supercompactness, MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING



Cites Work