Source author record

Assaf Rinot

Assaf Rinot appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2023arXiv

Sums of triples in Abelian groups

Motivated by a problem in additive Ramsey theory, we extend Todorcevic's partitions of three-dimensional combinatorial cubes to handle additional three-dimensional objects. As a corollary, we get that if the continuum hypothesis fails, then for every Abelian group $G$ of size $\aleph_2$, there exists a coloring $c:G\rightarrow\mathbb Z$ such that for every uncountable $X\subseteq G$ and every integer $k$, there are three distinct elements $x,y,z$ of $X$ such that $c(x+y+z)=k$.

preprint2022arXiv

Ramsey theory over partitions I: Positive Ramsey relations from forcing axioms

In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions that homogenize colorings over them is uncovered. At the level of the first uncountable cardinal this gives rise to a duality theorem under Martin's Axiom: a function $p:[ω_1]^2\rightarrowω$ witnesses a weak negative Ramsey relation when $p$ plays the role of a coloring if and only if a positive Ramsey relation holds over $p$ when $p$ plays the role of a partition. The consistency of positive Ramsey relations over partitions does not stop at the first uncountable cardinal: it is established that at any prescribed uncountable cardinal these relations follow from forcing axioms without large cardinal strength. This result solves in particular two problems from [CKS21].

preprint2022arXiv

Ramsey theory over partitions II: Negative Ramsey relations and pump-up theorems

In this series of papers we advance Ramsey theory of colorings over partitions. In this part, we concentrate on anti-Ramsey relations, or, as they are better known, strong colorings, and in particular solve two problems from [CKS21]. It is shown that for every infinite cardinal $λ$, a strong coloring on $λ^+$ by $λ$ colors over a partition can be stretched to one with $λ^{+}$ colors over the same partition. Also, a sufficient condition is given for when a strong coloring witnessing $Pr_1(\ldots)$ over a partition may be improved to witness $Pr_0(\ldots)$. Since the classical theory corresponds to the special case of a partition with just one cell, the two results generalize pump-up theorems due to Eisworth and Shelah, respectively.

preprint2022arXiv

Ramsey theory over partitions III: Strongly Luzin sets and partition relations

The strongest type of coloring of pairs of countable ordinals, gotten by Todorcevic from a strongly Luzin set, is shown to be equivalent to the existence of a nonmeager set of reals of size $\aleph_1$. In the other direction, it is shown that the existence of both a strongly Luzin set and a coherent Souslin tree is compatible with the existence of a countable partition of pairs of countable ordinals such that no coloring is strong over it. This clarifies the interaction between a gallery of coloring assertions going back to Luzin and Sierpinski a hundred years ago.

preprint2022arXiv

Sigma-Prikry forcing II: Iteration Scheme

In Part I of this series, we introduced a class of notions of forcing which we call Sigma-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are Sigma-Prikry. We showed that given a Sigma-Prikry poset P and a P-name for a non-reflecting stationary set T, there exists a corresponding Sigma-Prikry poset that projects to P and kills the stationarity of T. In this paper, we develop a general scheme for iterating Sigma-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds.

preprint2020arXiv

Inclusion modulo nonstationary

A classical theorem of Hechler asserts that the structure $\left(ω^ω,\le^*\right)$ is universal in the sense that for any $σ$-directed poset P with no maximal element, there is a ccc forcing extension in which $\left(ω^ω,\le^*\right)$ contains a cofinal order-isomorphic copy of P. In this paper, we prove a consistency result concerning the universality of the higher analogue $\left(κ^κ,\le^S\right)$: Theorem. Assume GCH. For every regular uncountable cardinal $κ$, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over $κ^κ$ and every stationary subset S of $κ$, there is a Lipschitz map reducing Q to $(κ^κ,\le^S)$.

preprint2020arXiv

Sigma-Prikry forcing I: The Axioms

We introduce a class of notions of forcing which we call $Σ$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $Σ$-Prikry. We show that given a $Σ$-Prikry poset $\mathbb P$ and a name for a non-reflecting stationary set $T$, there exists a corresponding $Σ$-Prikry poset that projects to $\mathbb P$ and kills the stationarity of $T$. Then, in a sequel to this paper, we develop an iteration scheme for $Σ$-Prikry posets. Putting the two works together, we obtain a proof of the following. Theorem. If $κ$ is the limit of a countable increasing sequence of supercompact cardinals, then there exists a cofinality-preserving forcing extension in which $κ$ remains a strong limit, every finite collection of stationary subsets of $κ^+$ reflects simultaneously, and $2^κ=κ^{++}$.

preprint2011arXiv

The Ostaszewski square, and homogenous Souslin trees

Assume GCH and let $λ$ denote an uncountable cardinal. We prove that if $\square_λ$ holds, then this may be witnessed by a coherent sequence $< C_α| α< λ^+ >$ with the following remarkable guessing property: For every sequence $< A_i | i<λ>$ of unbounded subsets of $λ^+$, and every limit $θ<λ$, there exists some $α<λ^+$ such that $\otp(C_α)=θ$, and the $(i+1)_{th}$-element of $C_α$ is a member of $A_i$, for all $i<θ$. As an application, we construct an homogenous $λ^+$-Souslin tree from $GCH+\square_λ$, for every singular cardinal $λ$. In addition, as a by-product, a theorem of Farah and Velickovic, and a theorem of Abraham, Shelah and Solovay are generalized to cover the case of successors of regulars.

preprint2011arXiv

Transforming Rectangles into Squares, with Applications to Strong Colorings

It is proved that every singular cardinal $λ$ admits a function $RTS:[λ^+]^2\rightarrow[λ^+]^2$ that transforms rectangles into squares. Namely, for every cofinal subsets $A,B$ of $λ^+$, there exists a cofinal subset $C$ of $lambda^+$, such that $RTS[AxB]$ covers CxC. When combined with a recent result of Eisworth, this shows that Shelah's notion of strong coloring $Pr_1(λ^+,λ^+,λ^+,\cf(λ))$ coincides with the classical negative partition relation $λ^+\not\rightarrow[λ^+]^2_{λ^+}$.