### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations 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

### Keywords

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

# Tag Archives: Minimal Walks

## 6th European Set Theory Conference, July 2017

I gave a 3-lecture tutorial at the 6th European Set Theory Conference in Budapest, July 2017. Title: Strong colorings and their applications. Abstract. Consider the following questions. Is the product of two $\kappa$-cc partial orders again $\kappa$-cc? Does there exist … Continue reading

Posted in Invited Talks, Open Problems
Tagged b-scale, Cohen real, Luzin set, Minimal Walks, Souslin Tree, Square-Brackets Partition Relations
4 Comments

## Distributive Aronszajn trees

Joint work with Ari Meir Brodsky. Abstract. Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved that the same conclusion remains … Continue reading

## Square with built-in diamond-plus

Joint work with Ralf Schindler. Abstract. We formulate combinatorial principles that combine the square principle with various strong forms of diamond, and prove that the strongest amongst them holds in $L$ for every infinite cardinal. As an application, we prove that … Continue reading

Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Almost Souslin, diamond star, Kurepa Hypothesis, Minimal Walks, square, xbox
1 Comment

## Chain conditions of products, and weakly compact cardinals

Abstract. The history of productivity of the $\kappa$-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every … Continue reading

Posted in Partition Relations, Publications
Tagged Aronszajn tree, ccc, Fat stationary set, Minimal Walks, square, Weakly compact cardinal
2 Comments

## Complicated Colorings

Abstract. If $\lambda,\kappa$ are regular cardinals, $\lambda>\kappa^+$, and $E^\lambda_{\ge\kappa}$ admits a nonreflecting stationary set, then $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ holds. (Recall that $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ asserts the existence of a coloring $d:[\lambda]^2\rightarrow\lambda$ such that for any family $\mathcal A\subseteq[\lambda]^{<\kappa}$ of size $\lambda$, consisting of pairwise … Continue reading

Posted in Partition Relations, Publications
Tagged Minimal Walks, Square-Brackets Partition Relations
2 Comments

## MFO workshop in Set Theory, January 2014

I gave an invited talk at the Set Theory workshop in Obwerwolfach, January 2014. Talk Title: Complicated Colorings. Abstract: If $\lambda,\kappa$ are regular cardinals, $\lambda>\kappa^+$, and $E^{\lambda}_{\ge\kappa}$ admits a nonreflecting stationary set, then $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ holds. Downloads:

## Walk on countable ordinals: the characteristics

In this post, we shall present a few aspects of the method of walk on ordinals (focusing on countable ordinals), record its characteristics, and verify some of their properties. All definitions and results in this post are due to Todorcevic. … Continue reading

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

## Young Researchers in Set Theory, March 2011

These are the slides of a talk I gave at the Young Researchers in Set Theory 2011 meeting (Königswinter, 21–25 March 2011). Talk Title: Around Jensen’s square principle Abstract: Jensen‘s square principle for a cardinal $\lambda$ asserts the existence of a particular ladder … 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