### Archives

### Recent blog posts

- 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
- Syndetic colorings with applications to S and L October 26, 2013
- Open coloring and the cardinal invariant $\mathfrak b$ October 8, 2013

### Keywords

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

# 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