Tag Archives: Successor of Singular Cardinal

Perspectives on Set Theory, November 2023

I gave an invited talk at the Perspectives on Set Theory conference, November 2023. Talk Title: May the successor of a singular cardinal be Jónsson? Abstract: We’ll survey what’s known about the question in the title and collect ten open … Continue reading

Posted in Invited Talks, Open Problems | Tagged , | Comments Off on Perspectives on Set Theory, November 2023

Sigma-Prikry forcing III: Down to Aleph_omega

Joint work with Alejandro Poveda and Dima Sinapova. Abstract. We prove the consistency of the failure of the singular cardinals hypothesis at ω together with the reflection of all stationary subsets of ω+1. This shows that two classical results of … Continue reading

Posted in Compactness, Publications, Singular Cardinals Combinatorics | Tagged , , | 1 Comment

Sigma-Prikry forcing II: Iteration Scheme

Joint work with Alejandro Poveda and Dima Sinapova. Abstract. In Part I of this series, we introduced a class of notions of forcing which we call Σ-Prikry, and showed that many of the known Prikry-type notions of forcing that centers … Continue reading

Posted in Compactness, Publications, Singular Cardinals Combinatorics | Tagged , , , , | 1 Comment

Sigma-Prikry forcing I: The Axioms

Joint work with Alejandro Poveda and 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 … Continue reading

Posted in Compactness, Publications, Singular Cardinals Combinatorics | Tagged , , , , , | 1 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

A cofinality-preserving small forcing may introduce a special Aronszajn tree

Extended Abstract: Shelah proved that Cohen forcing introduces a Souslin tree; Jensen proved that a c.c.c. forcing may consistently add a Kurepa tree; Todorcevic proved that a Knaster poset may already force the Kurepa hypothesis; Irrgang introduced a c.c.c. notion … Continue reading

Posted in Publications, Squares and Diamonds | Tagged , , , , , , | Leave a comment

The failure of diamond on a reflecting stationary set

Joint work with Moti Gitik. Abstract: It is shown that the failure of S, for a subset Sω+1 that reflects stationarily often, is consistent with GCH and APω, relatively to the existence of a supercompact cardinal. This should be comapred with … Continue reading

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

A relative of the approachability ideal, diamond and non-saturation

Abstract: Let λ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that ◻λ together with 2λ=λ+ implies S for every Sλ+ that reflects stationarily often. In this paper, for a subset Sλ+, a normal subideal of … Continue reading

Posted in Publications, Squares and Diamonds | Tagged , , , , , , , , , , , , | 5 Comments

Transforming rectangles into squares, with applications to strong colorings

Abstract: It is proved that every singular cardinal  λ admits a function rts:[λ+]2[λ+]2 that transforms rectangles into squares. That is, whenever A,B are cofinal subsets of λ+, we have rts[AB]CC, for some cofinal subset Cλ+. As a … Continue reading

Posted in Partition Relations, Publications | Tagged , , , , , , , | 1 Comment