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