Tag Archives: Minimal Walks

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines

Joint work with Tanmay Inamdar. Abstract. It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with … Continue reading

Posted in Basis problems, Partition Relations, Work In Progress | Tagged , , , , , , , | Leave a comment

Complicated colorings, revisited

Joint work with Jing Zhang. Abstract. In a paper from 1997, Shelah asked whether $Pr_1(\lambda^+,\lambda^+,\lambda^+,\lambda)$ holds for every inaccessible cardinal $\lambda$. Here, we prove that an affirmative answer follows from $\square(\lambda^+)$.  Furthermore, we establish that for every pair $\chi<\kappa$ of … Continue reading

Posted in Partition Relations | Tagged , | 1 Comment

Strongest transformations

Joint work with Jing Zhang. Abstract. We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest … Continue reading

Posted in Partition Relations, Publications | Tagged , , , , , , | 2 Comments

Transformations of the transfinite plane

Joint work with Jing Zhang. Abstract. We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals. To exemplify: we prove that for every … Continue reading

Posted in Partition Relations, Publications | Tagged , , , , , , , , | 1 Comment

11th Young Set Theory Workshop, June 2018

I gave a 4-lecture tutorial at the 11th Young Set Theory Workshop, Lausanne, June 2018. Title: In praise of C-sequences. Abstract. Ulam and Solovay showed that any stationary set may be split into two. Is it also the case that … Continue reading

Posted in Invited Talks | Tagged , , , , , , | Leave a comment

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

Posted in Publications, Squares and Diamonds | Tagged , , , , , , , , , | 1 Comment

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 , , , , , , , , | 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 , , , , , | 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 , , | 2 Comments