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