Archives
Keywords
Commutative cancellative semigroups Hindman's Theorem strongly bounded groups stick Partition Relations higher Baire space Sigma-Prikry Subtle tree property Strong coloring Forcing Fast club square S-Space Whitehead Problem Absoluteness Diamond for trees Forcing Axioms Subnormal ideal 54G20 Subtle cardinal O-space Cardinal function Closed coloring L-space regressive Souslin tree Club Guessing Iterated forcing C-sequence polarized partition relation Erdos Cardinal full tree Sierpinski's onto mapping principle super-Souslin tree Universal Sequences weak Kurepa tree Ostaszewski square Singular cofinality Uniformization positive partition relation Singular cardinals combinatorics Ascent Path Microscopic Approach Slim tree Coherent tree unbounded function Ulam matrix Cohen real Constructible Universe Shelah's Strong Hypothesis Successor of Singular Cardinal Hereditarily Lindelöf space Reflecting stationary set P-Ideal Dichotomy ZFC construction PFA(S)[S] Diamond-sharp Non-saturation incompactness square principles weak diamond Antichain Square-Brackets Partition Relations projective Boolean algebra Distributive tree Chang's conjecture Well-behaved magma Almost Souslin Local Club Condensation. weak square AIM forcing free Boolean algebra Uniformly coherent Selective Ultrafilter Postprocessing function Reduced Power Ramsey theory over partitions Diamond Filter reflection Prikry-type forcing Foundations Dowker space Hedetniemi's conjecture Jonsson cardinal Lipschitz reduction Prevalent singular cardinals Strongly compact cardinal Small forcing Greatly Mahlo Open Access Luzin set sap stationary reflection Souslin Tree Uniformly homogeneous Fat stationary set Strongly Luzin set Precaliber countably metacompact Dushnik-Miller Successor of Regular Cardinal Rainbow sets diamond star Knaster and friends Chromatic number Nonspecial tree reflection principles Almost countably chromatic Axiom R free Souslin tree Amenable C-sequence nonmeager set approachability ideal HOD indecomposable ultrafilter Minimal Walks GMA Generalized Clubs Almost-disjoint family PFA Martin's Axiom transformations Singular Density club_AD Commutative projection system Rado's conjecture Cardinal Invariants Erdos-Hajnal graphs Large Cardinals Respecting tree xbox Weakly compact cardinal middle diamond Poset OCA Aronszajn tree b-scale Vanishing levels specializable Souslin tree coloring number Analytic sets Was Ulam right? SNR very good scale stationary hitting Sakurai's Bell inequality Rock n' Roll ccc tensor product graph Knaster Countryman line Ineffable cardinal Generalized descriptive set theory Intersection model Kurepa Hypothesis Parameterized proxy principle Mandelbrot set Subadditive Fodor-type reflection
Tag Archives: 03E45
Square with built-in diamond-plus
Joint work with Ralf Schindler. Abstract. We formulate combinatorial principles that combine the square principle with various strong forms of diamond, and prove that the strongest amongst them holds in
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Almost Souslin, diamond star, Kurepa Hypothesis, Minimal Walks, Respecting tree, square, xbox
1 Comment
Putting a diamond inside the square
Abstract. By a 35-year-old theorem of Shelah,
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Diamond, square, Successor of Singular Cardinal
1 Comment
On the consistency strength of the Milner-Sauer conjecture
Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset
