On strong compactness and supercompactness
From MaRDI portal
Publication:4053659
DOI10.1016/0003-4843(75)90009-1zbMath0299.02084OpenAlexW1964666812MaRDI QIDQ4053659
Publication date: 1975
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(75)90009-1
Related Items (65)
Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\) ⋮ Some results on consecutive large cardinals. II: Applications of Radin forcing ⋮ Exactly controlling the non-supercompact strongly compact cardinals ⋮ The structure of ineffability properties of \(P_{\kappa}\lambda\) ⋮ Menas' conjecture and generic ultrapowers ⋮ Fragments of strong compactness, families of partitions and ideal extensions ⋮ Failures of SCH and level by level equivalence ⋮ NOWHERE PRECIPITOUSNESS OF THE NON-STATIONARY IDEAL OVER ${\mathcal P}_\kappa \lambda$ ⋮ Two-cardinal diamond star ⋮ The secret life of \(\mu\)-clubs ⋮ Patterns of compact cardinals ⋮ Strong compactness and the ultrapower axiom I: the least strongly compact cardinal ⋮ APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON ⋮ Accessible images revisited ⋮ MENAS’S CONJECTURE REVISITED ⋮ Piece selection and cardinal arithmetic ⋮ The consistency strength of an infinitary Ramsey property ⋮ Precisely controlling level by level behavior ⋮ Strong tree properties, Kurepa trees, and guessing models ⋮ On the least strongly compact cardinal ⋮ Rado’s Conjecture and its Baire version ⋮ Necessary and sufficient conditions for the existence of an \(n\)-subtle cardinal ⋮ Menas’ Result is Best Possible ⋮ Tameness in generalized metric structures ⋮ Strong combinatorial principles and level by level equivalence ⋮ Saturation Properties of Ideals in Generic Extensions. I ⋮ When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\) ⋮ On the existence of strongly normal ideals over \(P_{\kappa}\lambda\) ⋮ The lottery preparation ⋮ On the strong equality between supercompactness and strong compactness ⋮ Splitting \({\mathcal P}_\kappa \lambda\) into maximally many stationary sets ⋮ The Ultrapower Axiom ⋮ An \(L\)-like model containing very large cardinals ⋮ The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond ⋮ Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\) ⋮ Group radicals and strongly compact cardinals ⋮ Strongly normal ideals on \(\mathcal P_ \kappa \lambda\) and the sup-function ⋮ Cofinality of normal ideals on \([\lambda^{<\kappa}\). I] ⋮ Characterizing large cardinals in terms of layered posets ⋮ Closure Sets of Functions and a Hierarchy of Filters ⋮ The Ultrapower Axiom and the GCH ⋮ Two cardinal versions of diamond ⋮ Laver indestructibility and the class of compact cardinals ⋮ Inaccessible cardinals, failures of GCH, and level-by-level equivalence ⋮ Notes on subtlety and ineffability in \(P_\kappa\lambda\) ⋮ Diamond, square, and level by level equivalence ⋮ Indestructible Strong Compactness and Level by Level Equivalence with No Large Cardinal Restrictions ⋮ JOINT DIAMONDS AND LAVER DIAMONDS ⋮ On the consistency of Borel's conjecture ⋮ Normal measures and strongly compact cardinals ⋮ On the singular cardinals problem. I ⋮ Subtlety and partition relations ⋮ Global co-stationarity of the ground model from a new countable length sequence ⋮ Strongly compact cardinals and the continuum function ⋮ A direct weakening of normality for filters ⋮ The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃ ⋮ Game ideals ⋮ Normal Filters Generated by a Family of Sets ⋮ Indestructibility under adding Cohen subsets and level by level equivalence ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Ineffable limits of weakly compact cardinals and similar results ⋮ Two-cardinal diamond and games of uncountable length ⋮ A universal indestructibility theorem compatible with level by level equivalence ⋮ Measurability and degrees of strong compactness ⋮ Guessing more sets
This page was built for publication: On strong compactness and supercompactness
