Archives
Keywords
54G20 Kurepa Hypothesis Singular cardinals combinatorics positive partition relation Commutative projection system Subadditive Slim tree regressive Souslin tree Universal Sequences Chromatic number Club Guessing super-Souslin tree Hindman's Theorem Analytic sets Uniformly homogeneous square principles Hedetniemi's conjecture PFA b-scale Filter reflection Strongly compact cardinal Ostaszewski square Forcing Reflecting stationary set Open Access stationary reflection diamond star Diamond-sharp stick Jonsson cardinal Local Club Condensation. SNR sap Fat stationary set Sierpinski's onto mapping principle specializable Souslin tree higher Baire space Martin's Axiom Dushnik-Miller Entangled linear order weak square Commutative cancellative semigroups xbox Reduced Power indecomposable filter Amenable C-sequence Successor of Regular Cardinal Constructible Universe Antichain Monotonically far Diamond transformations approachability ideal Whitehead Problem Poset polarized partition relation Ascent Path Rock n' Roll C-sequence Generalized Clubs S-Space Uniformization P-Ideal Dichotomy Chang's conjecture Singular cofinality Fast club weak diamond Small forcing GMA Ramsey theory over partitions Minimal Walks Forcing Axioms Interval topology on trees Prevalent singular cardinals ZFC construction L-space Postprocessing function Respecting tree Cohen real Rado's conjecture Precaliber Axiom R Strong coloring Successor of Singular Cardinal incompactness Almost Souslin Large Cardinals Greatly Mahlo Microscopic Approach Hereditarily Lindelöf space tensor product graph AIM forcing Ulam matrix Cardinal function coloring number HOD middle diamond Shelah's Strong Hypothesis Diamond for trees Parameterized proxy principle Rainbow sets Aronszajn tree Non-saturation Foundations perfectly normal Well-behaved magma Strongly Luzin set Square-Brackets Partition Relations projective Boolean algebra club_AD reflection principles Subtle tree property Knaster and friends Luzin set Almost countably chromatic ccc Cardinal Invariants Nonspecial tree OCA Partition Relations Was Ulam right? Intersection model Fodor-type reflection stationary hitting free Souslin tree Distributive tree O-space Closed coloring Subnormal ideal nonmeager set Partition relations for trees Countryman line Ineffable cardinal Weakly compact cardinal unbounded function Erdos Cardinal square Vanishing levels Uniformly coherent Dowker space Almost-disjoint family Souslin Tree Erdos-Hajnal graphs Absoluteness free Boolean algebra Sakurai's Bell inequality strongly bounded groups Subtle cardinal PFA(S)[S] weak Kurepa tree Generalized descriptive set theory Knaster full tree Prikry-type forcing very good scale Lipschitz reduction Singular Density Selective Ultrafilter Sigma-Prikry Iterated forcing Mandelbrot set Coherent tree Forcing with side conditions Ascending path countably metacompact
Tag Archives: Square-Brackets Partition Relations
Dushnik-Miller for regular cardinals (part 2)
In this post, we shall provide a proof of Todorcevic’s theorem, that $\mathfrak b=\omega_1$ implies $\omega_1\not\rightarrow(\omega_1,\omega+2)^2$. This will show that the Erdos-Rado theorem that we discussed in an earlier post, is consistently optimal. Our exposition of Todorcevic’s theorem would be … Continue reading
CMS Winter Meeting, December 2011
I gave an invited special session talk at the 2011 meeting of the Canadian Mathematical Society. Talk Title: The extent of the failure of Ramsey’s theorem at successor cardinals. Abstract: We shall discuss the results of the following papers: Transforming … Continue reading
Posted in Invited Talks
Tagged Square-Brackets Partition Relations
Comments Off on CMS Winter Meeting, December 2011
Transforming rectangles into squares, with applications to strong colorings
Abstract: It is proved that every singular cardinal $\lambda$ admits a function $\textbf{rts}:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. That is, whenever $A,B$ are cofinal subsets of $\lambda^+$, we have $\textbf{rts}[A\circledast B]\supseteq C\circledast C$, for some cofinal subset $C\subseteq\lambda^+$. As a … Continue reading
