Author Archives: Assaf Rinot

A new model for all C-sequences are trivial

Joint work with Zhixing You and Jiachen Yuan. Abstract. We construct a model in which all C-sequences are trivial, yet there exists a $\kappa$-Souslin tree with full vanishing levels. This answers a question from a previous paper, and provides an … Continue reading

Posted in Compactness, Publications | Tagged , , , , , | 2 Comments

MFO workshop in Set Theory, January 2025

I gave an invited talk at the Set Theory meeting in Obwerwolfach, January 2025. Talk Title: Non-structure theorems for higher Aronszajn lines. Abstract: An $\omega_1$-Countryman line is an uncountable linear order  $L$ such that $L^2$ (with the pointwise ordering) is … Continue reading

Posted in Invited Talks | Tagged , | Comments Off on MFO workshop in Set Theory, January 2025

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

Joint work with Tanmay Inamdar. Abstract. We investigate global structural properties of linear orders of a fixed infinite size. It is classical that the countable linear orders and the continuum-sized orders exhibit contrasting behaviours. Modern results show that strong extensions … Continue reading

Posted in Basis problems, Partition Relations, Preprints | Tagged , , , , , , , , , , , | 2 Comments

Ketonen’s question and other cardinal sins

Joint work with Zhixing You and Jiachen Yuan. Abstract. Answering a question of Ketonen from the late 1970’s, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtained by analyzing … Continue reading

Posted in Compactness, Preprints | Tagged , , , , , , , , | 1 Comment

120 Years of Choice, July 2024

I gave an invited talk at the 120 Years of Choice conference, July 2024. Talk Title: Mathematician’s best friend Abstract: Jensen’s diamond is a very useful postulate. It is well-known that it implies the continuum hypothesis, that it is equivalent … Continue reading

Posted in Invited Talks | Tagged | Comments Off on 120 Years of Choice, July 2024

A model for global compactness

Joint work with Sittinon Jirattikansakul and Inbar Oren. Abstract. In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable $\theta<\aleph_\omega$. In this … Continue reading

Posted in Compactness, Publications | Tagged , , , | 1 Comment

Diamond on Kurepa trees

Joint work with Ziemek Kostana and Saharon Shelah. Abstract. We introduce a new weak variation of diamond that is meant to guess only the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by … Continue reading

Posted in Publications, Squares and Diamonds | Tagged , , , , , , | 2 Comments

Proxy principles in combinatorial set theory

Joint work with Ari Meir Brodsky and Shira Yadai. Abstract. The parameterized proxy principles were introduced by Brodsky and Rinot in a 2017 paper as new foundations for the construction of $\kappa$-Souslin trees in a uniform way that does not … Continue reading

Posted in Preprints, Souslin Hypothesis | Tagged , , , , , , , , | 1 Comment

Squares, ultrafilters and forcing axioms

Joint work with Chris Lambie-Hanson and Jing Zhang. Abstract. We study the interplay of the three families of combinatorial objects or principles. Specifically, we show the following. Strong forcing axioms, in general incompatible with the existence of indexed squares, can … Continue reading

Posted in Compactness, Publications | Tagged , , , , , , | 1 Comment

May the successor of a singular cardinal be Jonsson?

Abstract: Whether the successor of a singular cardinal can be Jónsson is a very old and famous open problem in set theory. Here, we collect necessary conditions for an affirmative answer, and put forward a list of closely-related questions in … Continue reading

Posted in Open Problems, Singular Cardinals Combinatorics | Tagged , | 1 Comment