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

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

# Author Archives: Assaf Rinot

## 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
Leave a comment

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

Posted in Invited Talks, Squares and Diamonds
Tagged Aronszajn tree, Postprocessing function
Leave a comment

## 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 Preprints, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
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 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

## Reflection on the coloring and chromatic numbers

Joint work with Chris Lambie-Hanson. Abstract. We prove that reflection of the coloring number of graphs is consistent with non-reflection of the chromatic number. Moreover, it is proved that incompactness for the chromatic number of graphs (with arbitrarily large gaps) … Continue reading

## Set Theory and its Applications in Topology, September 2016

I gave an invited talk at the Set Theory and its Applications in Topology meeting, Oaxaca, September 11-16, 2016. The talk was on the $\aleph_2$-Souslin problem. If you are interested in seeing the effect of a jet lag, the video is … Continue reading