Author Archives: Assaf Rinot

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

P.O.I. Workshop in pure and descriptive set theory, September 2015

I gave an invited talk at the P.O.I Workshop in pure and descriptive set theory, Torino, September 26, 2015.  Title: 3-trees. Abstract: We inspect the constructions of four quite different 3-Souslin trees.

Posted in Invited Talks | Tagged , | 1 Comment

Reduced powers of Souslin trees

Joint work with Ari Meir Brodsky. Abstract. We study the relationship between a κ-Souslin tree T and its reduced powers Tθ/U. Previous works addressed this problem from the viewpoint of a single power θ, whereas here, tools are developed … Continue reading

Posted in Publications, Souslin Hypothesis | Tagged , , , , , , , , , , , , , | 2 Comments

The Apter-Gitik birthday conference, May 2015

I give an invited (blackboard) talk at the Apter-Gitik birthday conference, Carnegie Mellon University, May 30-31 2015.  Title: Putting a diamond inside the square. Abstract: By a 35-year-old theorem of Shelah, ◻λ+(λ+) does not imply square-with-built-in-diamond_lambda for regular uncountable cardinals … Continue reading

Posted in Invited Talks | Leave a comment

Forcing and its Applications Retrospective Workshop, April 2015

I gave an invited talk at Forcing and its Applications Retrospective Workshop, Toronto, April 1st, 2015.  Title: A microscopic approach to Souslin trees constructions Abstract: We present an approach to construct κ-Souslin trees that is insensitive to the identity of … Continue reading

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

Putting a diamond inside the square

Abstract. By a 35-year-old theorem of Shelah, ◻λ+(λ+) does not imply square-with-built-in-diamond_lambda for regular uncountable cardinals λ. Here, it is proved that ◻λ+(λ+) is equivalent to square-with-built-in-diamond_lambda for every singular cardinal λ. Downloads: Citation information: A. Rinot, Putting a diamond inside … Continue reading

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

Generalizations of Martin’s Axiom and the well-met condition

Recall that Martin’s Axiom asserts that for every partial order P satisfying c.c.c., and for any family D of <20 many dense subsets of P, there exists a directed subset G of P such that $G\cap … Continue reading

Posted in Blog, Expository | Tagged , , , | Leave a comment

Many diamonds from just one

Recall Jensen’s diamond principle over a stationary subset S of a regular uncountable cardinal κ: there exists a sequence AααS such that {αSAα=Aα} is stationary for every Aκ. Equivalently, there exists a sequence $\langle … Continue reading

Posted in Blog, Expository | Tagged | 6 Comments

Same Graph, Different Universe

Abstract. May the same graph admit two different chromatic numbers in two different universes? how about infinitely many different values? and can this be achieved without changing the cardinals structure? In this paper, it is proved that in Godel’s constructible … Continue reading

Posted in Infinite Graphs, Publications | Tagged , , , , , , , | 10 Comments

Happy new jewish year!

Posted in Blog, OffMath | 5 Comments