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