Archives
Keywords
Subtle tree property 54G20 Uniformly coherent weak square Rock n' Roll Hedetniemi's conjecture unbounded function diamond star SNR square Poset Prikry-type forcing AIM forcing Foundations free Boolean algebra Dushnik-Miller Club Guessing Almost Souslin GMA OCA Reduced Power specializable Souslin tree Fat stationary set Singular Density strongly bounded groups Kurepa Hypothesis stick Universal Sequences Parameterized proxy principle tensor product graph Rainbow sets approachability ideal b-scale Almost countably chromatic middle diamond Cohen real Souslin Tree Fodor-type reflection transformations Successor of Regular Cardinal Chromatic number Dowker space Ostaszewski square higher Baire space Erdos Cardinal nonmeager set Weakly compact cardinal Microscopic Approach Precaliber Minimal Walks reflection principles Ramsey theory over partitions Mandelbrot set polarized partition relation Ascent Path Postprocessing function Diamond-sharp Generalized Clubs Forcing positive partition relation Jonsson cardinal Hindman's Theorem Sierpinski's onto mapping principle Singular cardinals combinatorics Knaster Ineffable cardinal Cardinal Invariants Diamond for trees Uniformly homogeneous Subnormal ideal Axiom R Uniformization Ulam matrix Slim tree PFA Whitehead Problem Rado's conjecture Strongly Luzin set ZFC construction Shelah's Strong Hypothesis P-Ideal Dichotomy Sakurai's Bell inequality Small forcing Distributive tree full tree Large Cardinals stationary reflection Prevalent singular cardinals Open Access Aronszajn tree Successor of Singular Cardinal incompactness Square-Brackets Partition Relations Filter reflection weak diamond Erdos-Hajnal graphs Closed coloring Sigma-Prikry Cardinal function super-Souslin tree Subadditive PFA(S)[S] square principles Analytic sets Fast club HOD Reflecting stationary set countably metacompact Amenable C-sequence Greatly Mahlo Commutative cancellative semigroups Lipschitz reduction L-space Coherent tree Strong coloring Hereditarily Lindelöf space Was Ulam right Well-behaved magma Luzin set Martin's Axiom club_AD xbox Selective Ultrafilter very good scale ccc Diamond Knaster and friends Constructible Universe Almost-disjoint family Subtle cardinal free Souslin tree O-space Antichain Generalized descriptive set theory stationary hitting Absoluteness C-sequence Iterated forcing Vanishing levels Forcing Axioms Chang's conjecture Nonspecial tree S-Space sap projective Boolean algebra Local Club Condensation. Singular cofinality coloring number Partition Relations regressive Souslin tree indecomposable ultrafilter Non-saturation
Tag Archives: HOD
Ordinal definable subsets of singular cardinals
Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. A remarkable result by Shelah states that if $\kappa$ is a singular strong limit cardinal of uncountable cofinality then there is a subset $x$ of $\kappa$ such … Continue reading
Posted in Publications, Singular Cardinals Combinatorics
Tagged AIM forcing, HOD, Singular cardinals combinatorics
2 Comments