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