### Archives

### Recent blog posts

- Genearlizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014
- Partitioning the club guessing January 22, 2014
- Walk on countable ordinals: the characteristics December 1, 2013
- Polychromatic colorings November 26, 2013
- Universal binary sequences November 14, 2013

### Keywords

Erdos-Hajnal graphs incompactness Shelah's Strong Hypothesis P-Ideal Dichotomy reflection principles Slim tree Almost Souslin Foundations Singular cardinals combinatorics very good scale Weakly compact cardinal PFA(S)[S] Almost countably chromatic Large Cardinals polarized partition relation Generalized Clubs Almost-disjoint famiy Successor of Singular Cardinal Cardinal function Singular coﬁnality Square-Brackets Partition Relations Ascent Path Hereditarily Lindelöf space Aronszajn tree Rock n' Roll Rainbow sets Microscopic Approach Knaster Selective Ultrafilter Non-saturation Chromatic number Universal Sequences Mandelbrot set Club Guessing S-Space weak diamond Small forcing Ostaszewski square Uniformization ccc stationary reflection Erdos Cardinal middle diamond OCA Absoluteness Axiom R PFA Forcing Axioms Partition Relations tensor product graph b-scale Diamond Kurepa Hypothesis Rado's conjecture Successor of Regular Cardinal weak square Sakurai's Bell inequality Whitehead Problem Prikry-type forcing Singular Cofinality Parameterized proxy principle Reduced Power free Boolean algebra Souslin Tree square Forcing L-space Dushnik-Miller Coherent tree diamond star Constructible Universe Martin's Axiom Hedetniemi's conjecture Singular Density approachability ideal projective Boolean algebra Antichain Minimal Walks Cohen real Prevalent singular cardinals Cardinal Invariants stationary hitting Poset sap

# Tag Archives: 03E02

## Rectangular square-bracket operation for successor of regular cardinals

Joint work with Stevo Todorcevic. Extended Abstract: Consider the coloring statement $\lambda^+\nrightarrow[\lambda^+;\lambda^+]^2_{\lambda^+}$ for a given regular cardinal $\lambda$: In 1990, Shelah proved the above for $\lambda>2^{\aleph_0}$; In 1991, Shelah proved the above for $\lambda>\aleph_1$; In 1997, Shelah proved the above … Continue reading

## 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