Showing 1–50 of 50 results for author: Rinot, A

A new model for all $C$-sequences are trivial

Authors: Assaf Rinot, Zhixing You, Jiachen Yuan

Abstract: We construct a model in which all $C$-sequences are trivial, yet there exists a $κ$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen's original forcing construction. We construct a model in which all $C$-sequences are trivial, yet there exists a $κ$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and incompactness. It is obtained by incorporating a so-called mutually exclusive ascent path to Kunen's original forcing construction. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: 18 pages

MSC Class: Primary 03E35. Secondary 03E05; 03E55

A model for global compactness

Authors: Sittinon Jirattikansakul, Inbar Oren, Assaf Rinot

Abstract: In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{ω+1}$ carries a uniform ultrafilter that is $θ$-indecomposable for every uncountable cardinal $θ<\aleph_ω$. In this paper, we give a global version of this result, as follows: Assuming the consistency of a supercompact cardinal, we produce a model of set theory in which for every singular cardina… ▽ More In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{ω+1}$ carries a uniform ultrafilter that is $θ$-indecomposable for every uncountable cardinal $θ<\aleph_ω$. In this paper, we give a global version of this result, as follows: Assuming the consistency of a supercompact cardinal, we produce a model of set theory in which for every singular cardinal $λ$, there exists a uniform ultrafilter on $λ^+$ that is $θ$-indecomposable for every cardinal $θ$ such that $cf(λ)<θ<λ$. In our model, many instances of compactness for chromatic numbers hold, from which we infer that Hajnal's gap-1 counterexample to Hedetniemi's conjecture is best possible on the grounds of ZFC. △ Less

Submitted 18 December, 2024; originally announced December 2024.

MSC Class: Primary 03E35; Secondary 05C63; 03E55

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines

Authors: Tanmay Inamdar, Assaf Rinot

Abstract: It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with his Basis Theorem for linear orders of size $\aleph_1$. The proof combines walks on ordinals, club guessing, strong colourings of three different types, and a bit of finite combinatorics. This and fur… ▽ More It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with his Basis Theorem for linear orders of size $\aleph_1$. The proof combines walks on ordinals, club guessing, strong colourings of three different types, and a bit of finite combinatorics. This and further non-structure theorems for Aronszajn lines and trees are established for successors of regulars, successors of singulars, as well as inaccessibles. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: This is a preliminary preprint. More results are upcoming. For updates, please visit http://assafrinot.com/paper/71

MSC Class: Primary 03E02; 03E75; 06A05. Secondary 03E05

Ketonen's question and other cardinal sins

Authors: Assaf Rinot, Zhixing You, Jiachen Yuan

Abstract: Intersection models of generic extensions obtained from a commutative projection systems of notions of forcing has recently regained interest, especially in the study of descriptive set theory. Here, we show that it provides a fruitful framework that opens the door to solving some open problems concerning compactness principles of small cardinals. To exemplify, from suitable assumptions, we constr… ▽ More Intersection models of generic extensions obtained from a commutative projection systems of notions of forcing has recently regained interest, especially in the study of descriptive set theory. Here, we show that it provides a fruitful framework that opens the door to solving some open problems concerning compactness principles of small cardinals. To exemplify, from suitable assumptions, we construct intersection models satisfying ZFC and any of the following: 1. There is a weakly compact cardinal $κ$ carrying an indecomposable ultrafilter, yet $κ$ is not measurable. This answers a question of Ketonen from the late 1970's. 2. For proper class many cardinals $λ$, the least $λ$-strongly compact cardinal is singular. This answers a question of Bagaria and Magidor who asked for merely two such cardinals. 3. There is a strongly inaccessible cardinal whose $C$-sequence number is a singular cardinal. This answers a question of Lambie-Hanson and the first author. △ Less

Submitted 2 August, 2024; originally announced August 2024.

MSC Class: 03E05; 03E35; 03E55

Diamond on Kurepa trees

Authors: Ziemowit Kostana, Assaf Rinot, Saharon Shelah

Abstract: We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail. We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail. △ Less

Submitted 3 April, 2024; originally announced April 2024.

MSC Class: 03E35

Proxy principles in combinatorial set theory

Authors: Ari Meir Brodsky, Assaf Rinot, Shira Yadai

Abstract: The parameterized proxy principles were introduced by Brodsky and Rinot in a 2017 paper, as new foundations for the construction of $κ$-Souslin trees in a uniform way that does not depend on the nature of the (regular uncountable) cardinal $κ$. Since their introduction, these principles have facilitated construction of Souslin trees with complex combinations of features, and have enabled the disco… ▽ More The parameterized proxy principles were introduced by Brodsky and Rinot in a 2017 paper, as new foundations for the construction of $κ$-Souslin trees in a uniform way that does not depend on the nature of the (regular uncountable) cardinal $κ$. Since their introduction, these principles have facilitated construction of Souslin trees with complex combinations of features, and have enabled the discovery of completely new scenarios in which Souslin trees must exist. Furthermore, the proxy principles have found new applications beyond the construction of trees. This paper opens with a comprehensive exposition of the proxy principles. We motivate their very definition, emphasizing the utility of each of the parameters and the consequent flexibility that they provide. We then survey the findings surrounding them, presenting a rich spectrum of unrelated models and configurations in which the proxy principles are known to hold, and showcasing a gallery of Souslin trees constructed from the principles. The last two sections of the paper offer new results. In particular, for every positive integer $n$, we give a construction of a $λ^+$-Souslin tree all of whose $n$-derived trees are Souslin, but whose $(n+1)$-power is special. △ Less

Submitted 21 March, 2024; originally announced March 2024.

MSC Class: Primary 03E65. Secondary 03E05; 03E35

Squares, ultrafilters and forcing axioms

Authors: Chris Lambie-Hanson, Assaf Rinot, Jing Zhang

Abstract: We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong forcing axioms, in general incompatible with the existence of indexed squares, can be made compatible with weaker versions of indexed squares. (2) Indexed squa… ▽ More We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong forcing axioms, in general incompatible with the existence of indexed squares, can be made compatible with weaker versions of indexed squares. (2) Indexed squares and indecomposable ultrafilters with suitable parameters can coexist. As a consequence, the amount of stationary reflection known to be implied by the existence of a uniform indecomposable ultrafilter is optimal. (3) The Proper Forcing Axiom implies that any cardinal carrying a uniform indecomposable ultrafilter is either measurable or a supremum of countably many measurable cardinals. Leveraging insights from the preceding sections, we demonstrate that the conclusion cannot be improved. △ Less

Submitted 28 January, 2024; originally announced January 2024.

Comments: 32 pages

May the successor of a singular cardinal be Jonsson?

Authors: Assaf Rinot

Abstract: In this survey, we collect necessary conditions for the successor of a singular cardinal to be Jonsson. In this survey, we collect necessary conditions for the successor of a singular cardinal to be Jonsson. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Diamond on ladder systems and countably metacompact topological spaces

Authors: Rodrigo Carvalho, Tanmay Inamdar, Assaf Rinot

Abstract: The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper, Leiderman and Szeptycki studied $Δ$-spaces, which are a subclass of the class of countably metacompact spaces. They proved that a single Cohen real introduces a… ▽ More The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper, Leiderman and Szeptycki studied $Δ$-spaces, which are a subclass of the class of countably metacompact spaces. They proved that a single Cohen real introduces a ladder system $L$ over the first uncountable cardinal for which the corresponding space $X_L$ is not a $Δ$-space, and asked whether there is a ZFC example of a ladder system $L$ over some cardinal $κ$ for which $X_L$ is not countably metacompact, in particular, not a $Δ$-space. We prove that an affirmative answer holds for the cardinal $κ=cf(\beth_{ω+1})$. Assuming $\beth_ω=\aleph_ω$, we get an example at a much lower cardinal, namely $κ=2^{2^{2^{\aleph_0}}}$, and our ladder system $L$ is moreover $ω$-bounded. △ Less

Submitted 14 January, 2024; v1 submitted 23 September, 2023; originally announced September 2023.

Comments: Added a section "Club guessing with diamonds", where we address the case of omega-bounded ladder systems

MSC Class: 03E05; 54G20

The vanishing levels of a tree

Authors: Assaf Rinot, Shira Yadai, Zhixing You

Abstract: We initiate the study of the spectrum $Vspec(κ)$ of sets that can be realized as the vanishing levels $V(T)$ of a normal $κ$-tree $T$. The latter is an invariant in the sense that if $T$ and $T'$ are club-isomorphic, then the symmetric difference of $V(T)$ and $V(T')$ is nonstationary. Additional features of this invariant imply that $Vspec(κ)$ is closed under finite unions and intersections. Th… ▽ More We initiate the study of the spectrum $Vspec(κ)$ of sets that can be realized as the vanishing levels $V(T)$ of a normal $κ$-tree $T$. The latter is an invariant in the sense that if $T$ and $T'$ are club-isomorphic, then the symmetric difference of $V(T)$ and $V(T')$ is nonstationary. Additional features of this invariant imply that $Vspec(κ)$ is closed under finite unions and intersections. The set $V(T)$ must be stationary for an homogeneous normal $κ$-Aronszajn tree $T$, and if there exists a special $κ$-Aronszajn tree, then there exists one $T$ that is homogeneous and satisfies $V(T)=κ$ (modulo clubs). It is consistent (from large cardinals) that there is an $\aleph_2$-Souslin tree, and yet $V(T)$ is co-stationary for every $\aleph_2$-tree $\mathbf T$. Both $V(T)=\emptyset$ and $V(T)=κ$ (modulo clubs) are shown to be feasible using $κ$-Souslin trees even at some large cardinal close to a weakly compact. It is also possible to have a family of $2^κ$ many $κ$-Souslin trees for which the corresponding family of vanishing levels forms an antichain modulo clubs. △ Less

Submitted 26 September, 2023; v1 submitted 7 September, 2023; originally announced September 2023.

Comments: Added a 6th section

MSC Class: Primary 03E05. Secondary 03E35; 03E55

Full Souslin trees at small cardinals

Authors: Assaf Rinot, Shira Yadai, Zhixing You

Abstract: A $κ$-tree is said to be full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full $κ$-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be $\aleph_3$ many full $\aleph_2$-trees such that the product… ▽ More A $κ$-tree is said to be full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full $κ$-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be $\aleph_3$ many full $\aleph_2$-trees such that the product of any countably many of them is an $\aleph_2$-Souslin tree. △ Less

Submitted 29 February, 2024; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: Relaxed the hypothesis of Theorem C. Added Proposition 2.3

MSC Class: Primary 03E05. Secondary 03E35

A counterexample related to a theorem of Komjath and Weiss

Authors: Rodrigo Carvalho, Assaf Rinot

Abstract: In a paper from 1987, Komjath and Weiss proved that for every regular topological space $X$ of character less than $\mathfrak b$, if $X\rightarrow(top~ω+1)^1_ω$, then $X\rightarrow(top~α)^1_ω$ for all $α<ω_1$. In addition, assuming $\diamondsuit$, they constructed a space $X$ of size continuum, of character $\mathfrak b$, satisfying $X\rightarrow(top~ω+1)^1_ω$, but not… ▽ More In a paper from 1987, Komjath and Weiss proved that for every regular topological space $X$ of character less than $\mathfrak b$, if $X\rightarrow(top~ω+1)^1_ω$, then $X\rightarrow(top~α)^1_ω$ for all $α<ω_1$. In addition, assuming $\diamondsuit$, they constructed a space $X$ of size continuum, of character $\mathfrak b$, satisfying $X\rightarrow(top~ω+1)^1_ω$, but not $X\rightarrow(top~ω^2+1)^1_ω$. Here, a counterexample space with the same characteristics is obtained outright in ZFC. △ Less

Submitted 2 July, 2023; originally announced July 2023.

MSC Class: 03E02; 54G20

A Shelah group in ZFC

Authors: Márk Poór, Assaf Rinot

Abstract: In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group $G$ that moreover admits an integer $n$ satisfying that for every uncountable $X\subseteq G$, every element of $G$ may be written as a group word of length $n$ in the elements of $X$. The former is called a Jonsson group a… ▽ More In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group $G$ that moreover admits an integer $n$ satisfying that for every uncountable $X\subseteq G$, every element of $G$ may be written as a group word of length $n$ in the elements of $X$. The former is called a Jonsson group and the latter is called a Shelah group. In this paper, we construct a Shelah group on the grounds of ZFC alone, that is, without assuming the continuum hypothesis. More generally, we identify a combinatorial condition (coming from the theories of negative square-bracket partition relations and strongly unbounded subadditive maps) sufficient for the construction of a Shelah group of size $κ$, and prove that the condition holds true for all successors of regular cardinals (such as $κ=\aleph_1,\aleph_2,\aleph_3,\ldots$). This also yields the first consistent example of a Shelah group of size a limit cardinal. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: Updates on this paper may be found at http://www.assafrinot.com/paper/60

MSC Class: Primary 03E75; 20A15; Secondary 03E02; 20E15; 20F06

Sums of triples in Abelian groups

Authors: Ido Feldman, Assaf Rinot

Abstract: 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 inte… ▽ More 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$. △ Less

Submitted 4 January, 2023; originally announced January 2023.

MSC Class: Primary 03E02; Secondary 03E75; 03E35; 05A17

A new small Dowker space

Authors: Assaf Rinot, Roy Shalev, Stevo Todorcevic

Abstract: It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above hypotheses entails the existence of a Dowker space of size $\aleph_1$. It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above hypotheses entails the existence of a Dowker space of size $\aleph_1$. △ Less

Submitted 21 September, 2022; originally announced September 2022.

MSC Class: Primary 03E05; 54G20; Secondary 03E65

Sigma-Prikry forcing III: Down to Aleph_omega

Authors: Alejandro Poveda, Assaf Rinot, Dima Sinapova

Abstract: We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_ω$ together with the reflection of all stationary subsets of $\aleph_{ω+1}$. This shows that two classic results of Magidor (from 1977 and 1982) can hold simultaneously. We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_ω$ together with the reflection of all stationary subsets of $\aleph_{ω+1}$. This shows that two classic results of Magidor (from 1977 and 1982) can hold simultaneously. △ Less

Submitted 21 September, 2022; originally announced September 2022.

A club guessing toolbox I

Authors: Tanmay Inamdar, Assaf Rinot

Abstract: Club guessing principles were introduced by Shelah as a weakening of Jensen's diamond. Most spectacularly, they were used to prove Shelah's ZFC bound on the power of the first singular cardinal. These principles have found many other applications: in cardinal arithmetic and PCF theory; in the construction of combinatorial objects on uncountable cardinals such as Jonsson algebras, strong colourin… ▽ More Club guessing principles were introduced by Shelah as a weakening of Jensen's diamond. Most spectacularly, they were used to prove Shelah's ZFC bound on the power of the first singular cardinal. These principles have found many other applications: in cardinal arithmetic and PCF theory; in the construction of combinatorial objects on uncountable cardinals such as Jonsson algebras, strong colourings, Souslin trees, and pathological graphs; to the non-existence of universals in model theory; to the non-existence of forcing axioms at higher uncountable cardinals; and many more. In this paper, the first part of a series, we survey various forms of club-guessing that have appeared in the literature, and then systematically study the various ways in which a club-guessing sequences can be improved, especially in the way the frequency of guessing is calibrated. We include an expository section intended for those unfamiliar with club-guessing and which can be read independently of the rest of the article. △ Less

Submitted 8 July, 2022; originally announced July 2022.

Comments: Preliminary preprint. Comments are most welcome! For the latest version, visit http://p.assafrinot.com/46

Journal ref: Bull. symb. log 30 (2024) 303-361

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

Authors: Menachem Kojman, Assaf Rinot, Juris Steprans

Abstract: 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 sam… ▽ More 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. △ Less

Submitted 29 April, 2022; originally announced April 2022.

Comments: A sequel to arXiv:2102.07241

MSC Class: 03E02

Was Ulam right? II: Small width and general ideals

Authors: Tanmay Inamdar, Assaf Rinot

Abstract: We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal, it is proved that if $κ$ is a regular uncountable cardinal that is not weakly compact in L, then there is a universal witness for non-weak-saturation of $κ$-co… ▽ More We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal, it is proved that if $κ$ is a regular uncountable cardinal that is not weakly compact in L, then there is a universal witness for non-weak-saturation of $κ$-complete ideals. Specifically, there are $κ$-many decompositions of $κ$ such that, for every $κ$-complete ideal $J$ over $κ$, and every $B\in J^+$, one of the decompositions shatters $B$ into $κ$-many $J^+$-sets. A second focus here is the feature of narrowness of colourings, one already present in the theorem of Sierpinski. This feature ensures that a colouring suitable for an ideal is also suitable for all superideals possessing the requisite completeness degree. It is proved that unlike successors of regulars, every successor of a singular cardinal admits such a narrow colouring. △ Less

Submitted 17 December, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: Final version

MSC Class: Primary 03E02; Secondary 03E35; 03E55

Complicated colorings, revisited

Authors: Assaf Rinot, Jing Zhang

Abstract: In a paper from 1997, Shelah asked whether $Pr_1(λ^+,λ^+,λ^+,λ)$ holds for every inaccessible cardinal $λ$. Here, we prove that an affirmative answer follows from $\square(λ^+)$. Furthermore, we establish that for every pair $χ<κ$ of regular uncountable cardinals, $\square(κ)$ implies $Pr_1(κ,κ,κ,χ)$. In a paper from 1997, Shelah asked whether $Pr_1(λ^+,λ^+,λ^+,λ)$ holds for every inaccessible cardinal $λ$. Here, we prove that an affirmative answer follows from $\square(λ^+)$. Furthermore, we establish that for every pair $χ<κ$ of regular uncountable cardinals, $\square(κ)$ implies $Pr_1(κ,κ,κ,χ)$. △ Less

Submitted 20 February, 2022; originally announced February 2022.

MSC Class: Primary 03E02; Secondary 03E35

Was Ulam right? I: Basic theory and subnormal ideals

Authors: Tanmay Inamdar, Assaf Rinot

Abstract: We introduce various colouring principles which generalise the so-called "onto mapping principle" of Sierpinski to larger cardinals and general ideals. We prove that these principles capture the notion of an Ulam matrix and allow to characterise large cardinals, most notably weakly compact and ineffable cardinals. We also develop the basic theory of these colouring principles, connecting them to t… ▽ More We introduce various colouring principles which generalise the so-called "onto mapping principle" of Sierpinski to larger cardinals and general ideals. We prove that these principles capture the notion of an Ulam matrix and allow to characterise large cardinals, most notably weakly compact and ineffable cardinals. We also develop the basic theory of these colouring principles, connecting them to the classical negative square bracket partition relations, proving pumping-up theorems, and deciding various instances of theirs. We also demonstrate that our principles provide a uniform way of obtaining non-saturation results for ideals satisfying a property we call subnormality in contexts where Ulam matrices might not be available. △ Less

Submitted 9 December, 2021; v1 submitted 11 July, 2021; originally announced July 2021.

Comments: This is now Part I of a series. Part II is upcoming

MSC Class: Primary 03E02; Secondary 03E35; 03E55

Knaster and friends III: Subadditive colorings

Authors: Chris Lambie-Hanson, Assaf Rinot

Abstract: We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $θ<κ$, the existence of a strongly unbounded coloring $c:[κ]^2 \rightarrowθ$ is a theorem of ZFC. Adding the requirement of subadditivity to a strongly unbounded coloring is a significant strengthening, though, and here we see… ▽ More We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $θ<κ$, the existence of a strongly unbounded coloring $c:[κ]^2 \rightarrowθ$ is a theorem of ZFC. Adding the requirement of subadditivity to a strongly unbounded coloring is a significant strengthening, though, and here we see that in many cases the existence of a subadditive strongly unbounded coloring is independent of ZFC. We connect the existence of subadditive strongly unbounded colorings with a number of other infinitary combinatorial principles, including the narrow system property, the existence of $κ$-Aronszajn trees with ascent paths, and square principles. In particular, we show that the existence of a closed, subadditive, strongly unbounded coloring is equivalent to a certain weak indexed square principle. We conclude the paper with an application to the failure of the infinite productivity of $κ$-stationarily layered posets, answering a question of Cox. △ Less

Submitted 20 June, 2021; originally announced June 2021.

MSC Class: Primary 03E35; Secondary 03E02; 03E05; 06E10

Strongest transformations

Authors: Assaf Rinot, Jing Zhang

Abstract: We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest conceivable transformations. Along the way, we obtain new results on Shelah's coloring principle $Pr_1$. For $κ$ inaccessible, we prove the consistency of… ▽ More We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest conceivable transformations. Along the way, we obtain new results on Shelah's coloring principle $Pr_1$. For $κ$ inaccessible, we prove the consistency of $Pr_1(κ,κ,κ,κ)$. For successors of regulars, we obtain a full lifting of Galvin's 1980 theorem. In contrast, the full lifting of Galvin's theorem to successors of singulars is shown to be inconsistent. △ Less

Submitted 30 April, 2021; originally announced April 2021.

Comments: For the latest updates on this article, visit http://p.assafrinot.com/45

On the ideal $J[κ]$

Authors: Assaf Rinot

Abstract: Motivated by a question from a recent paper by Gilton, Levine and Stejskalova, we obtain a new characterization of the ideal $J[κ]$, from which we confirm that $κ$-Souslin trees exist in various models of interest. As a corollary we get that for every integer $n$ such that $\mathfrak b<2^{\aleph_n}=\aleph_{n+1}$, if $\square(\aleph_{n+1})$ holds, then there exists an $\aleph_{n+1}$-Souslin tree. Motivated by a question from a recent paper by Gilton, Levine and Stejskalova, we obtain a new characterization of the ideal $J[κ]$, from which we confirm that $κ$-Souslin trees exist in various models of interest. As a corollary we get that for every integer $n$ such that $\mathfrak b<2^{\aleph_n}=\aleph_{n+1}$, if $\square(\aleph_{n+1})$ holds, then there exists an $\aleph_{n+1}$-Souslin tree. △ Less

Submitted 19 April, 2021; originally announced April 2021.

MSC Class: Primary 03E05; Secondary 03E35; 03E17

A guessing principle from a Souslin tree, with applications to topology

Authors: Assaf Rinot, Roy Shalev

Abstract: We introduce a new combinatorial principle which we call $\clubsuit_{AD}$. This principle asserts the existence of a certain multi-ladder system with guessing and almost-disjointness features, and is shown to be sufficient for carrying out de Caux type constructions of topological spaces. Our main result states that strong instances of $\clubsuit_{AD}$ follow from the existence of a Souslin tree… ▽ More We introduce a new combinatorial principle which we call $\clubsuit_{AD}$. This principle asserts the existence of a certain multi-ladder system with guessing and almost-disjointness features, and is shown to be sufficient for carrying out de Caux type constructions of topological spaces. Our main result states that strong instances of $\clubsuit_{AD}$ follow from the existence of a Souslin tree. It is also shown that the weakest instance of $\clubsuit_{AD}$ does not follow from the existence of an almost Souslin tree. As an application, we obtain a simple, de Caux type proof of Rudin's result that if there is a Souslin tree, then there is an $S$-space which is Dowker. △ Less

Submitted 29 September, 2021; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: Final version. To appear at the Kunen special issue of Top. Appl

MSC Class: Primary 03E05; 54G20; Secondary 03E35; 03E65

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

Authors: Menachem Kojman, Assaf Rinot, Juris Steprans

Abstract: 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 ordina… ▽ More 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. △ Less

Submitted 16 April, 2022; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: To appear in Proceedings of the American Mathematical Society

MSC Class: Primary 03E02; Secondary 03E35; 03E17

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

Authors: Menachem Kojman, Assaf Rinot, Juris Steprans

Abstract: 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ω$… ▽ More 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]. △ Less

Submitted 16 April, 2022; v1 submitted 14 February, 2021; originally announced February 2021.

MSC Class: Primary 03E02; Secondary 03E35

Fake reflection

Authors: Gabriel Fernandes, Miguel Moreno, Assaf Rinot

Abstract: We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection from ZFC, and present applications of filter reflection to the study of canonical equivalence relations of the higher Cantor and Baire spaces. We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection from ZFC, and present applications of filter reflection to the study of canonical equivalence relations of the higher Cantor and Baire spaces. △ Less

Submitted 18 March, 2020; originally announced March 2020.

MSC Class: Primary 03E35; Secondary 03E05; 54H05

A microscopic approach to Souslin-tree construction, Part II

Authors: Ari Meir Brodsky, Assaf Rinot

Abstract: In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known $\diamondsuit$-based constructions of Souslin trees with various additional properties may be rendered as applications of our approach. In this paper, we show that constructions following the same approach may be carried out even in the absence of $\diamondsuit$. In particular,… ▽ More In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known $\diamondsuit$-based constructions of Souslin trees with various additional properties may be rendered as applications of our approach. In this paper, we show that constructions following the same approach may be carried out even in the absence of $\diamondsuit$. In particular, we obtain a new weak sufficient condition for the existence of Souslin trees at the level of a strongly inaccessible cardinal. We also present a new construction of a Souslin tree with an ascent path, thereby increasing the consistency strength of such a tree's nonexistence from a Mahlo cardinal to a weakly compact cardinal. Section 2 of this paper is targeted at newcomers with minimal background. It offers a comprehensive exposition of the subject of constructing Souslin trees and the challenges involved. △ Less

Submitted 21 June, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: Final version

MSC Class: Primary 03E05; Secondary 03E65; 03E35; 05C05

Journal ref: Annals of Pure and Applied Logic, Volume 172, Issue 5, 102904, 65pp, May 2021

Transformations of the transfinite plane

Authors: Assaf Rinot, Jing Zhang

Abstract: We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals. To exemplify: we prove that for every inaccessible cardinal $κ$, if $κ$ admits a stationary set that does not reflect at inaccessibles, then the classical negative partition rela… ▽ More We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals. To exemplify: we prove that for every inaccessible cardinal $κ$, if $κ$ admits a stationary set that does not reflect at inaccessibles, then the classical negative partition relation $κ\nrightarrow[κ]^2_κ$ implies that for every Abelian group $(G,+)$ of size $κ$, there exists a map $f:G\rightarrow G$ such that, for every $X\subseteq G$ of size $κ$ and every $g\in G$, there exist $x\neq y$ in $X$ such that $f(x+y)=g$. △ Less

Submitted 3 February, 2021; v1 submitted 17 March, 2020; originally announced March 2020.

Comments: Final version

MSC Class: Primary 03E02; Secondary 03E35

Journal ref: Forum of Mathematics, Sigma 9 (2021) e16

Knaster and friends II: The C-sequence number

Authors: Chris Lambie-Hanson, Assaf Rinot

Abstract: Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of ZFC and independence results about the C-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We… ▽ More Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of ZFC and independence results about the C-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We then introduce and study the more general C-sequence spectrum and uncover some tight connections between the C-sequence spectrum and the strong coloring principle U(...), introduced in Part I of this series. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Sigma-Prikry forcing II: Iteration Scheme

Authors: Alejandro Poveda, Assaf Rinot, Dima Sinapova

Abstract: 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… ▽ More 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. △ Less

Submitted 17 January, 2022; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: Added property D, types, and the weak mixing property

MSC Class: Primary 03E35; Secondary 03E04

Sigma-Prikry forcing I: The Axioms

Authors: Alejandro Poveda, Assaf Rinot, Dima Sinapova

Abstract: 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 th… ▽ More 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^κ=κ^{++}$. △ Less

Submitted 20 May, 2020; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: Added a short section on forking projections

Partitioning a reflecting stationary set

Authors: Maxwell Levine, Assaf Rinot

Abstract: We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer that it is never the case that there exists a singular cardinal all of whose scales are very good. We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer that it is never the case that there exists a singular cardinal all of whose scales are very good. △ Less

Submitted 19 July, 2019; originally announced July 2019.

MSC Class: Primary 03E05; Secondary 03E04

Inclusion modulo nonstationary

Authors: Gabriel Fernandes, Miguel Moreno, Assaf Rinot

Abstract: 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… ▽ More 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)$. △ Less

Submitted 19 April, 2020; v1 submitted 24 June, 2019; originally announced June 2019.

Comments: Slow filtrations made explicit in the LCC derivation

MSC Class: 03E35 (Primary) 03E45; 54H05 (Secondary)

Souslin trees at successors of regular cardinals

Authors: Assaf Rinot

Abstract: We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author. We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Comments: http://www.assafrinot.com/paper/37

MSC Class: Primary 03E05; Secondary 03E65

Knaster and friends I: Closed colorings and precalibers

Authors: Chris Lambie-Hanson, Assaf Rinot

Abstract: The productivity of the $κ$-chain condition, where $κ$ is a regular, uncountable cardinal, has been the focus of a great deal of set-theoretic research. In the 1970s, consistent examples of $κ$-cc posets whose squares are not $κ$-cc were constructed by Laver, Galvin, Roitman and Fleissner. Later, $\mathsf{ZFC}$ examples were constructed by Todorcevic, Shelah, and others. The most difficult case, t… ▽ More The productivity of the $κ$-chain condition, where $κ$ is a regular, uncountable cardinal, has been the focus of a great deal of set-theoretic research. In the 1970s, consistent examples of $κ$-cc posets whose squares are not $κ$-cc were constructed by Laver, Galvin, Roitman and Fleissner. Later, $\mathsf{ZFC}$ examples were constructed by Todorcevic, Shelah, and others. The most difficult case, that in which $κ= \aleph_2$, was resolved by Shelah in 1997. In this work, we obtain analogous results regarding the infinite productivity of strong chain conditions, such as the Knaster property. Among other results, for any successor cardinal $κ$, we produce a $\mathsf{ZFC}$ example of a poset with precaliber $κ$ whose $ω^{\mathrm{th}}$ power is not $κ$-cc. To do so, we carry out a systematic study of colorings satisfying a strong unboundedness condition. We prove a number of results indicating circumstances under which such colorings exist, in particular focusing on cases in which these colorings are moreover closed. △ Less

Submitted 4 December, 2018; v1 submitted 22 September, 2018; originally announced September 2018.

MSC Class: 03E35; 03E05; 03E75; 06E10

Journal ref: Algebra Universalis (2018) 79:90

Weak square and stationary reflection

Authors: Gunter Fuchs, Assaf Rinot

Abstract: It is well-known that the square principle $\square_λ$ entails the existence of a non-reflecting stationary subset of $λ^+$, whereas the weak square principle $\square^*_λ$ does not. Here we show that if $μ^{\mathrm{cf}(λ)} < λ$ for all $μ< λ$, then $\square^*_λ$ entails the existence of a non-reflecting stationary subset of $E^{λ^+}_{\mathrm{cf}(λ)}$ in the forcing extension for adding a single C… ▽ More It is well-known that the square principle $\square_λ$ entails the existence of a non-reflecting stationary subset of $λ^+$, whereas the weak square principle $\square^*_λ$ does not. Here we show that if $μ^{\mathrm{cf}(λ)} < λ$ for all $μ< λ$, then $\square^*_λ$ entails the existence of a non-reflecting stationary subset of $E^{λ^+}_{\mathrm{cf}(λ)}$ in the forcing extension for adding a single Cohen subset of $λ^+$. It follows that indestructible forms of simultaneous stationary reflection entail the failure of weak square. We demonstrate this by settling a question concerning the subcomplete forcing axiom (SCFA), proving that SCFA entails the failure of $\square^*_λ$ for every singular cardinal $λ$ of countable cofinality. △ Less

Submitted 16 November, 2017; originally announced November 2017.

Comments: 11 pages

MSC Class: 03E35; 03E57; 03E05

A forcing axiom deciding the generalized Souslin Hypothesis

Authors: Chris Lambie-Hanson, Assaf Rinot

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 $λ$, if $λ^{++}$ is not a Mahlo cardinal in Gödel's constructible universe, then $2^λ= λ^+$ entails the existence of a $λ^+$-complete $λ^{++}$-Souslin tree. 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 $λ$, if $λ^{++}$ is not a Mahlo cardinal in Gödel's constructible universe, then $2^λ= λ^+$ entails the existence of a $λ^+$-complete $λ^{++}$-Souslin tree. △ Less

Submitted 22 September, 2018; v1 submitted 23 August, 2017; originally announced August 2017.

MSC Class: 03E05; 03E35; 03E57

Journal ref: Can. J. Math.-J. Can. Math. 71 (2019) 437-470

Reflection on the coloring and chromatic numbers

Authors: Chris Lambie-Hanson, Assaf Rinot

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) is compatible with each of the following compactness principles: Rado's conjecture, Fodor-type reflection, $Δ$-reflection, Stationary-sets reflection, Martin's Maximum, and a g… ▽ More 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) is compatible with each of the following compactness principles: Rado's conjecture, Fodor-type reflection, $Δ$-reflection, Stationary-sets reflection, Martin's Maximum, and a generalized Chang's conjecture. This is accomplished by showing that, under $\mathrm{GCH}$-type assumptions, instances of incompactness for the chromatic number can be derived from square-like principles that are compatible with large amounts of compactness. In addition, we prove that, in contrast to the chromatic number, the coloring number does not admit arbitrarily large incompactness gaps. △ Less

Submitted 23 August, 2017; originally announced August 2017.

MSC Class: 03E35; 05C15; 05C63

Distributive Aronszajn trees

Authors: Ari Meir Brodsky, Assaf Rinot

Abstract: Ben-David and Shelah proved that if $λ$ is a singular strong-limit cardinal and $2^λ=λ^+$, then $\square^*_λ$ entails the existence of a normal $λ$-distributive $λ^+$-Aronszajn tree. Here, it is proved that the same conclusion remains valid after replacing the hypothesis $\square^*_λ$ by $\square(λ^+,{<}λ)$. As $\square(λ^+,{<}λ)$ does not impose a bound on the order-type of the witnessing clubs… ▽ More Ben-David and Shelah proved that if $λ$ is a singular strong-limit cardinal and $2^λ=λ^+$, then $\square^*_λ$ entails the existence of a normal $λ$-distributive $λ^+$-Aronszajn tree. Here, it is proved that the same conclusion remains valid after replacing the hypothesis $\square^*_λ$ by $\square(λ^+,{<}λ)$. As $\square(λ^+,{<}λ)$ does not impose a bound on the order-type of the witnessing clubs, our construction is necessarily different from that of Ben-David and Shelah, and instead uses walks on ordinals augmented with club guessing. A major component of this work is the study of postprocessing functions and their effect on square sequences. A byproduct of this study is the finding that for $κ$ regular uncountable, $\square(κ)$ entails the existence of a partition of $κ$ into $κ$ many fat sets. When contrasted with a classic model of Magidor, this shows that it is equiconsistent with the existence of a weakly compact cardinal that $ω_2$ cannot be split into two fat sets. △ Less

Submitted 27 March, 2018; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: 45 pages; improved and generalized some results, and streamlined the presentation

MSC Class: 03E05 (Primary); 03E65; 03E35; 05C05 (Secondary)

Journal ref: Fundamenta Mathematicae 245(3):217-291, 2019

Strong failures of higher analogs of Hindman's theorem

Authors: David Fernández-Bretón, Assaf Rinot

Abstract: We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every $X\subseteq\mathbb R$ with $|X|=|\mathbb R|$, and every colour $γ\in\mathbb Q$, there are two distinct elements $x_0,x_1$ of $X$ for which $c(x_0+x_1)=γ$. This forms a simult… ▽ More We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every $X\subseteq\mathbb R$ with $|X|=|\mathbb R|$, and every colour $γ\in\mathbb Q$, there are two distinct elements $x_0,x_1$ of $X$ for which $c(x_0+x_1)=γ$. This forms a simultaneous generalization of a theorem of Hindman, Leader and Strauss and a theorem of Galvin and Shelah. Theorem 2: For every Abelian group $G$, there exists a colouring $c:G\rightarrow\mathbb Q$ such that for every uncountable $X\subseteq G$, and every colour $γ$, for some large enough integer $n$, there are pairwise distinct elements $x_0,\ldots,x_n$ of $X$ such that $c(x_0+\cdots+x_n)=γ$. In addition, it is consistent that the preceding statement remains valid even after enlarging the set of colours from $\mathbb Q$ to $\mathbb R$. Theorem 3: Let $\circledast_κ$ assert that for every Abelian group $G$ of cardinality $κ$, there exists a colouring $c:G\rightarrow G$ such that for every positive integer $n$, every $X_0,\ldots,X_n \in[G]^κ$, and every $γ\in G$, there are $x_0\in X_0,\ldots, x_n\in X_n$ such that $c(x_0+\cdots+x_n)=γ$. Then $\circledast_κ$ holds for unboundedly many uncountable cardinals $κ$, and it is consistent that $\circledast_κ$ holds for all regular uncountable cardinals $κ$. △ Less

Submitted 22 November, 2016; v1 submitted 4 August, 2016; originally announced August 2016.

Comments: Final accepted version. For several of the earlier results that were stated only for regular cardinals, there is now a treatment of the singular cardinal case. Also, a new partition relation for the Real Line was obtained, see Theorem C3

MSC Class: 03E02 (Primary); 03E75; 03E35; 05D10; 05A17; 11P99; 20M14 (Secondary)

Journal ref: Transactions of the American Mathematical Society 369 no. 12 (2017), 8939-8966

More notions of forcing add a Souslin tree

Authors: Ari Meir Brodsky, Assaf Rinot

Abstract: An $\aleph_1$-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing such a tree, Shelah proved that already the simplest forcing notion --- Cohen forcing --- adds an $\aleph_1$-Souslin tree. In this paper, we identify a rather large class of… ▽ More An $\aleph_1$-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing such a tree, Shelah proved that already the simplest forcing notion --- Cohen forcing --- adds an $\aleph_1$-Souslin tree. In this paper, we identify a rather large class of notions of forcing that, assuming a GCH-type assumption, add a $λ^+$-Souslin tree. This class includes Prikry, Magidor and Radin forcing. △ Less

Submitted 24 July, 2016; originally announced July 2016.

Comments: 15 pages. Submitted

MSC Class: Primary 03E05; Secondary 03E35; 05C05

Journal ref: Notre Dame J. Formal Logic 60, no. 3 (2019), 437-455

A Microscopic approach to Souslin-tree constructions. Part I

Authors: Ari Meir Brodsky, Assaf Rinot

Abstract: We propose a parameterized proxy principle from which $κ$-Souslin trees with various additional features can be constructed, regardless of the identity of $κ$. We then introduce the microscopic approach, which is a simple method for deriving trees from instances of the proxy principle. As a demonstration, we give a construction of a coherent $κ$-Souslin tree that applies also for $κ$ inaccessible.… ▽ More We propose a parameterized proxy principle from which $κ$-Souslin trees with various additional features can be constructed, regardless of the identity of $κ$. We then introduce the microscopic approach, which is a simple method for deriving trees from instances of the proxy principle. As a demonstration, we give a construction of a coherent $κ$-Souslin tree that applies also for $κ$ inaccessible. We then carry out a systematic study of the consistency of instances of the proxy principle, distinguished by the vector of parameters serving as its input. Among other things, it will be shown that all known $\diamondsuit$-based constructions of $κ$-Souslin trees may be redirected through this new proxy principle. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Comments: 43 pages

MSC Class: 03E05 (Primary) 03E65; 03E35; 05C05 (Secondary)

Journal ref: Annals of Pure and Applied Logic, 168(11): 1949-2007, November 2017

Reduced powers of Souslin trees

Authors: Ari Meir Brodsky, Assaf Rinot

Abstract: We study the relationship between a $κ$-Souslin tree $T$ and its reduced powers $T^θ/\mathcal U$. Previous works addressed this problem from the viewpoint of a single power $θ$, whereas here, tools are developed for controlling different powers simultaneously. As a sample corollary, we obtain the consistency of an $\aleph_6$-Souslin tree $T$ and a sequence of uniform ultrafilters… ▽ More We study the relationship between a $κ$-Souslin tree $T$ and its reduced powers $T^θ/\mathcal U$. Previous works addressed this problem from the viewpoint of a single power $θ$, whereas here, tools are developed for controlling different powers simultaneously. As a sample corollary, we obtain the consistency of an $\aleph_6$-Souslin tree $T$ and a sequence of uniform ultrafilters $\langle \mathcal U_n\mid n<6\rangle$ such that $ T^{\aleph_n}/\mathcal U_n$ is $\aleph_6$-Aronszajn iff $n<6$ is not a prime number. △ Less

Submitted 3 January, 2016; v1 submitted 20 July, 2015; originally announced July 2015.

Comments: Minor update to reflect changes to "Microscopic approach" paper on which this paper relies

MSC Class: 03E05 (Primary); 03E65; 03E35; 05C05 (Secondary)

Journal ref: Forum of Mathematics, Sigma, 5(e2): 1-82, 2017

Hedetniemi's conjecture for uncountable graphs

Authors: Assaf Rinot

Abstract: It is proved that in Godel's constructible universe, for every infinite successor cardinal k, there exist graphs G and H of size and chromatic number k, for which the tensor product graph (G x H) is countably chromatic. It is proved that in Godel's constructible universe, for every infinite successor cardinal k, there exist graphs G and H of size and chromatic number k, for which the tensor product graph (G x H) is countably chromatic. △ Less

Submitted 25 July, 2013; originally announced July 2013.

Comments: http://www.assafrinot.com/paper/16

MSC Class: Primary 03E75; 05C76. Secondary 05C15; 05C63

The Ostaszewski square, and homogenous Souslin trees

Authors: Assaf Rinot

Abstract: 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 o… ▽ More 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. △ Less

Submitted 15 May, 2011; originally announced May 2011.

Comments: preliminary version

Transforming Rectangles into Squares, with Applications to Strong Colorings

Authors: Assaf Rinot

Abstract: 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(λ))$ coi… ▽ More 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_{λ^+}$. △ Less

Submitted 14 March, 2011; originally announced March 2011.

Comments: preliminary version

MSC Class: 03E02

Jensen's diamond principle and its relatives

Authors: Assaf Rinot

Abstract: We survey some recent results on the validity of Jensen's diamond principle at successor cardinals. We also discuss weakening of this principle such as club guessing, and anti-diamond principles such as uniformization. A collection of open problems is included. We survey some recent results on the validity of Jensen's diamond principle at successor cardinals. We also discuss weakening of this principle such as club guessing, and anti-diamond principles such as uniformization. A collection of open problems is included. △ Less

Submitted 22 June, 2010; v1 submitted 11 November, 2009; originally announced November 2009.

Comments: Final version

MSC Class: Primary 03E05; Secondary 03E35; 03E50

Antichains in partially ordered sets of singular cofinality

Authors: Assaf Rinot

Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset P, if cf(P)=lambda>cf(lambda)=kappa, then P must contain an antichain of size kappa. We prove that for lambda>cf(lambda)=kappa, if there exists a cardinal mu<lambda such that cov(lambda,mu,kappa,2)=lambda, then any poset of cofinality lambda contains lambda^kappa antichains of size kappa. The hypothesis of our theorem is v… ▽ More In their paper from 1981, Milner and Sauer conjectured that for any poset P, if cf(P)=lambda>cf(lambda)=kappa, then P must contain an antichain of size kappa. We prove that for lambda>cf(lambda)=kappa, if there exists a cardinal mu<lambda such that cov(lambda,mu,kappa,2)=lambda, then any poset of cofinality lambda contains lambda^kappa antichains of size kappa. The hypothesis of our theorem is very weak and is a consequence of many well-known axioms such as GCH, SSH and PFA. The consistency of the negation of this hypothesis is unknown. △ Less

Submitted 17 December, 2006; v1 submitted 1 June, 2006; originally announced June 2006.

Comments: 8 pages, reorganized structure

MSC Class: 03E04; 03E35; 06A07