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