Archives
Keywords
diamond star Minimal Walks specializable Souslin tree C-sequence Parameterized proxy principle Distributive tree Amenable C-sequence Slim tree Fat stationary set SNR Knaster coloring number Almost countably chromatic Subadditive polarized partition relation Fodor-type reflection free Boolean algebra Strongly Luzin set Fast club Forcing Axioms Diamond for trees Uniformization weak diamond Hindman's Theorem Respecting tree Diamond-sharp Knaster and friends Analytic sets Prikry-type forcing countably metacompact Foundations S-Space Dushnik-Miller Chromatic number Singular cofinality square principles Whitehead Problem Reduced Power Was Ulam right Prevalent singular cardinals OCA middle diamond Almost-disjoint family reflection principles Cardinal function super-Souslin tree regressive Souslin tree transformations Partition Relations Poset Non-saturation 54G20 Axiom R Strong coloring Singular Density Open Access Precaliber full tree stationary hitting Generalized Clubs Diamond Vanishing levels Subtle tree property Ineffable cardinal Selective Ultrafilter Closed coloring square AIM forcing ccc sap Successor of Regular Cardinal Reflecting stationary set Ulam matrix Rainbow sets Hereditarily Lindelöf space Erdos Cardinal indecomposable ultrafilter HOD Subnormal ideal Successor of Singular Cardinal Constructible Universe ZFC construction Universal Sequences PFA Rock n' Roll Iterated forcing Large Cardinals Sierpinski's onto mapping principle Cardinal Invariants L-space Microscopic Approach Ramsey theory over partitions higher Baire space Postprocessing function Commutative projection system Mandelbrot set tensor product graph P-Ideal Dichotomy Generalized descriptive set theory Erdos-Hajnal graphs Cohen real Intersection model Sigma-Prikry Martin's Axiom Well-behaved magma Subtle cardinal Aronszajn tree weak Kurepa tree Lipschitz reduction approachability ideal incompactness Filter reflection Rado's conjecture Nonspecial tree Shelah's Strong Hypothesis xbox Local Club Condensation. nonmeager set Uniformly coherent Chang's conjecture b-scale Uniformly homogeneous Kurepa Hypothesis free Souslin tree Club Guessing Antichain O-space stick Weakly compact cardinal Luzin set Strongly compact cardinal Dowker space very good scale Sakurai's Bell inequality Ascent Path Forcing Absoluteness stationary reflection Greatly Mahlo positive partition relation Hedetniemi's conjecture Ostaszewski square weak square Square-Brackets Partition Relations strongly bounded groups club_AD Jonsson cardinal GMA projective Boolean algebra Almost Souslin unbounded function Commutative cancellative semigroups PFA(S)[S] Small forcing Coherent tree Singular cardinals combinatorics Souslin Tree Countryman line
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
