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