Dima Sinapova

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 6

Top Topics

Lexical Features

Internet Service Providers

Tree Structures

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Alejandro Poveda, Assaf Rinot, Dima Sinapova
Sigma-Prikry forcing II: Iteration Scheme. J. Math. Log. 22 (3) (2022)
James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger
The Tree Property at the two Immediate Successors of a singular cardinal. J. Symb. Log. 86 (2) (2021)
Dima Sinapova, Ioannis A. Souldatos
-sentences. Arch. Math. Log. 59 (7-8) (2020)
Sherwood Hachtman, Dima Sinapova
Itp, ISP, and SCH. J. Symb. Log. 84 (2) (2019)
Dima Sinapova, Spencer Unger
THE TREE PROPERTY AT ${\aleph _{{\omega ^2} + 1}}$ AND ${\aleph _{{\omega ^2} + 2}}$. J. Symb. Log. 83 (2) (2018)
Dima Sinapova, Spencer Unger
Modified Extender based forcing. J. Symb. Log. 81 (4) (2016)
Dima Sinapova
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265-298. Bull. Symb. Log. 21 (3) (2015)
Dima Sinapova, Spencer Unger
. Ann. Pure Appl. Log. 165 (4) (2014)
Dima Sinapova
The tree property and the failure of SCH at uncountable cofinality. Arch. Math. Log. 51 (5-6) (2012)
Dima Sinapova
. J. Symb. Log. 77 (3) (2012)
Dima Sinapova
. J. Symb. Log. 77 (1) (2012)
Dima Sinapova
A model for a very good scale and a bad scale. J. Symb. Log. 73 (4) (2008)
Moti Gitik, Itay Neeman, Dima Sinapova
cofinality nonstationary. Arch. Math. Log. 46 (5-6) (2007)