A cardinal preserving extension making the set of points of countable V cofinality nonstationary. - Moti Gitik; Itay Neeman; Dima Sinapova (Arch. Math. Log., 2007)

A model for a very good scale and a bad scale. - Dima Sinapova (J. Symb. Log., 2008)

The tree property and the failure of SCH at uncountable cofinality. - Dima Sinapova (Arch. Math. Log., 2012)

The tree property at ℵω+1. - Dima Sinapova (J. Symb. Log., 2012)

The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2. - Dima Sinapova (J. Symb. Log., 2012)

Combinatorics at אω. - Dima Sinapova; Spencer Unger (Ann. Pure Appl. Log., 2014)

Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265-298. - Dima Sinapova (Bull. Symb. Log., 2015)

Modified Extender based forcing. - Dima Sinapova; Spencer Unger (J. Symb. Log., 2016)

THE TREE PROPERTY AT ${ aleph _{{ omega ^2} + 1}}$ AND ${ aleph _{{ omega ^2} + 2}}$. - Dima Sinapova; Spencer Unger (J. Symb. Log., 2018)

Itp, ISP, and SCH. - Sherwood Hachtman; Dima Sinapova (J. Symb. Log., 2019)

Kurepa trees and spectra of ℒømega 1, ømega -sentences. - Dima Sinapova; Ioannis A. Souldatos (Arch. Math. Log., 2020)

The Tree Property at the two Immediate Successors of a singular cardinal. - James Cummings 001; Yair Hayut; Menachem Magidor; Itay Neeman; Dima Sinapova; Spencer Unger (J. Symb. Log., 2021)

Sigma-Prikry forcing II: Iteration Scheme. - Alejandro Poveda; Assaf Rinot; Dima Sinapova (J. Math. Log., 2022)