3 papers
math.LO2022
Sigma-Prikry forcing III: Down to Aleph_omega
Alejandro Poveda, Assaf Rinot, Dima Sinapova
We prove the consistency of the failure of the singular cardinals hypothesis at together with the reflection of all stationary subsets of . This shows that…
math.LO2019
Sigma-Prikry forcing I: The Axioms
Alejandro Poveda, Assaf Rinot, Dima Sinapova
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 counta…
math.LO2018
The super tree property at the successor of a singular
Sherwood Hachtman, Dima Sinapova
For an inaccessible cardinal , the super tree property (ITP) at holds if and only if is supercomact. However, just like the tree property, it can hold at successor cardi…