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