Archives
Keywords
Reduced Power free Boolean algebra Foundations Almost-disjoint family full tree Well-behaved magma Analytic sets Singular cofinality GMA weak Kurepa tree Parameterized proxy principle Cardinal function PFA ccc Absoluteness Greatly Mahlo diamond star Singular Density Shelah's Strong Hypothesis Sakurai's Bell inequality ZFC construction Was Ulam right? Lipschitz reduction regressive Souslin tree square Non-saturation Intersection model Poset Filter reflection Square-Brackets Partition Relations Chang's conjecture Rado's conjecture Open Access Large Cardinals Amenable C-sequence Generalized Clubs Ascent Path AIM forcing OCA Constructible Universe very good scale Rainbow sets Subadditive Luzin set Knaster and friends Strong coloring O-space SNR 54G20 Jonsson cardinal incompactness weak diamond countably metacompact Almost countably chromatic nonmeager set indecomposable ultrafilter transformations Reflecting stationary set Minimal Walks Iterated forcing Microscopic Approach Uniformization Martin's Axiom Universal Sequences Commutative cancellative semigroups Fodor-type reflection Sigma-Prikry Precaliber Nonspecial tree positive partition relation Prevalent singular cardinals Successor of Singular Cardinal Cardinal Invariants Subnormal ideal coloring number Selective Ultrafilter Singular cardinals combinatorics higher Baire space Hindman's Theorem tensor product graph Forcing HOD Strongly Luzin set Hedetniemi's conjecture Ineffable cardinal Mandelbrot set Souslin Tree weak square Vanishing levels Subtle cardinal free Souslin tree Local Club Condensation. Small forcing Erdos Cardinal b-scale Strongly compact cardinal Successor of Regular Cardinal unbounded function Diamond Axiom R Postprocessing function Diamond-sharp stick Countryman line Respecting tree club_AD Antichain specializable Souslin tree Commutative projection system Coherent tree Dowker space Sierpinski's onto mapping principle Kurepa Hypothesis P-Ideal Dichotomy Whitehead Problem Rock n' Roll strongly bounded groups polarized partition relation middle diamond L-space square principles Closed coloring xbox Dushnik-Miller Prikry-type forcing Uniformly coherent Ostaszewski square Fat stationary set reflection principles Partition Relations Cohen real Forcing Axioms Distributive tree Erdos-Hajnal graphs Fast club projective Boolean algebra S-Space sap Hereditarily Lindelöf space Slim tree stationary reflection Ramsey theory over partitions C-sequence Uniformly homogeneous Subtle tree property Generalized descriptive set theory approachability ideal Ulam matrix Knaster Almost Souslin Weakly compact cardinal Chromatic number super-Souslin tree Aronszajn tree stationary hitting PFA(S)[S] Club Guessing Diamond for trees
Tag Archives: Erdos Cardinal
Strong failures of higher analogs of Hindman’s Theorem
Joint work with David J. Fernández Bretón. Abstract. We show that various analogs of Hindman’s Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1. There exists a colouring
Posted in Groups, Partition Relations, Publications
Tagged 03E02, 03E35, 03E75, 05A17, 05D10, 11P99, 20M14, Chang's conjecture, Commutative cancellative semigroups, Erdos Cardinal, Hindman's Theorem, Jonsson cardinal, Kurepa Hypothesis, Square-Brackets Partition Relations, Weakly compact cardinal, ZFC construction
1 Comment
A large cardinal in the constructible universe
In this post, we shall provide a proof of Silver’s theorem that the Erdos caridnal