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

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

# Author Archives: Assaf Rinot

## A remark on Schimmerling’s question

Joint work with Ari Meir Brodsky. Abstract. Schimmerling asked whether $\square^*_\lambda$ together with GCH entails the existence of a $\lambda^+$-Souslin tree, for a singular cardinal $\lambda$. Here, we provide an affirmative answer under the additional assumption that there exists a … Continue reading

## Weak square and stationary reflection

Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if $\mu^{cf(\lambda)}<\lambda$ for all $\mu<\lambda$, … Continue reading

Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment

## A strong form of König’s lemma

A student proposed to me the following strong form of König’s lemma: Conjecture. Suppose that $G=(V,E)$ is a countable a graph, and there is a partition of $V$ into countably many pieces $V=\bigcup_{n<\omega}V_n$, such that: for all $n<\omega$, $V_n$ is … Continue reading

Posted in Blog
2 Comments

## The 14th International Workshop on Set Theory in Luminy

I gave an invited talk at the 14th International Workshop on Set Theory in Luminy in Marseille, October 2017. Talk Title: Distributive Aronszajn trees Abstract: It is well-known that that the statement “all $\aleph_1$-Aronszajn trees are special” is consistent with ZFC … Continue reading

## A forcing axiom deciding the generalized Souslin Hypothesis

Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, … Continue reading

Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
1 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 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

## ASL North American Meeting, March 2017

I gave a plenary talk at the 2017 ASL North American Meeting in Boise, March 2017. Talk Title: The current state of the Souslin problem. Abstract: Recall that the real line is that unique separable, dense linear ordering with no endpoints in … Continue reading

## MFO workshop in Set Theory, February 2017

I gave an invited talk at the Set Theory workshop in Obwerwolfach, February 2017. Talk Title: Coloring vs. Chromatic. Abstract: In a joint work with Chris Lambie-Hanson, we study the interaction between compactness for the chromatic number (of graphs) and … Continue reading

Posted in Invited Talks
Tagged Chromatic number, coloring number, incompactness, stationary reflection
Leave a comment

## The eightfold way

Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing … Continue reading

Posted in Compactness
Tagged approachability ideal, Aronszajn tree, stationary reflection, Weakly compact cardinal
1 Comment