Author Archives: Assaf Rinot

Chain conditions of products, and weakly compact cardinals

Abstract.  The history of productivity of the κ-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

Square principles

Since the birth of Jensen’s original Square principle, many variations of the principle were introduced and intensively studied. Asaf Karagila suggested me today to put some order into all of these principles. Here is a trial. Definition. A square principle … Continue reading

Posted in Blog, Expository | Tagged , , , | 13 Comments

INFTY Final Conference, March 2014

I gave an invited talk at the INFTY Final Conference meeting, Bonn, March 4-7, 2014. [Curiosity: Georg Cantor was born March 3, 1845] Title: Same Graph, Different Universe. Abstract: In a paper from 1998, answering a question of Hajnal, Soukup … Continue reading

Posted in Invited Talks | Tagged , , | 1 Comment

Partitioning the club guessing

In a recent paper, I am making use of the following  fact. Theorem (Shelah, 1997). Suppose that κ is an accessible cardinal (i.e., there exists a cardinal θ<κ such that 2θκ). Then there exists a sequence gδ:CδωδEκκ+Continue reading

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

Complicated colorings

Abstract. If λ,κ are regular cardinals, λ>κ+, and Eκλ admits a nonreflecting stationary set, then Pr1(λ,λ,λ,κ) holds. (Recall that  Pr1(λ,λ,λ,κ) asserts the existence of  a coloring d:[λ]2λ such that for any family A[λ]<κ of size λ, consisting of pairwise … Continue reading

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

MFO workshop in Set Theory, January 2014

I gave an invited talk at the Set Theory workshop in Obwerwolfach, January 2014. Talk Title: Complicated Colorings. Abstract: If λ,κ are regular cardinals, λ>κ+, and Eκλ admits a nonreflecting stationary set, then Pr1(λ,λ,λ,κ) holds. Downloads:

Posted in Invited Talks | Tagged , | 5 Comments

Walk on countable ordinals: the characteristics

In this post, we shall present a few aspects of the method of walk on ordinals (focusing on countable ordinals), record its characteristics, and verify some of their properties. All definitions and results in this post are due to Todorcevic. … Continue reading

Posted in Blog, Expository | Tagged | 2 Comments

Polychromatic colorings

These are lectures notes of two talks Dani Livne gave in our Infinite Combinatorics seminar. I did not take notes in real-time, hence, all possible mistakes here are due to myself. Recall that a function f:AB is said to … Continue reading

Posted in Blog, Expository | Tagged , | 2 Comments

Universal binary sequences

Notation. Write Q(A):={aAa is finite,a}. Suppose for the moment that we are given a fixed sequence fα:ω2αa, indexed by some set a of ordinals. Then, for every function h:aω and i<ω, we … Continue reading

Posted in Blog | Tagged , | 3 Comments

Mathematics Colloquium, Bar-Ilan University, November 2013

I gave a colloquium talk at Bar-Ilan University on November 10, 2013. Title: Forcing as a tool to prove theorems Abstract: Paul Cohen celebrated solution to Hilbert’s first problem showed that the Continuum Hypothesis is independent of the usual axioms of … Continue reading

Posted in Invited Talks | Tagged , , | 4 Comments