Dima Sinapova

Professor of Mathematics
Rutgers University
Mathematics Department
New Brunswick, NJ

Office Hill 230
E-Mail dima .sinapova at rutgers .edu

Research Interests:

Mathematical Logic and Set Theory.
Curriculum Vitae

Teaching:

Spring 2024: Mathematical Logic

Spring 2023: Axiomatic Set Theory

Past Courses

Organization:

MAMLS Spring Fling, May 23-26, 20122, Rutgers University, New Brunswick, NJ

Distinguished Lecture Series presents Hugh Woodin, April 13-15, 2022, UIC, Chicago

Logic in the Loop, November 9, 2019, UIC, Chicago

Logic Fest in the Windy City, May 30 - June 2, 2019, UIC, Chicago

The First Mexico-USA Logic Fest, January 10-13, 2018, Mexico City

Set theory workshop, October 20-23, 2016, UIC

Papers and preprints:

A model for the Ineffable Tree Property at $\aleph_{\omega+2}$ and Stationary Reflection at $\aleph_{\omega+1}$ , with Alejandro Poveda.

Mutual stationarity and combinatorics at $\aleph_\omega$ , with Will Adkisson.

Prikry sequences at $\aleph_\omega$ , accepted to Proceedings of the AMS.

Sigma Prikry Forcing III: Down to $\aleph_\omega$ , with Alejandro Poveda and Assaf Rinot, accepted to Advances in Mathematics.

Sigma Prikry Forcing II: Iteration Scheme , with Alejandro Poveda and Assaf Rinot, J. Math. Logic, 22(3): 2150019, 59ppm, 2022.

Sigma Prikry Forcing I: The Axioms , with Alejandro Poveda and Assaf Rinot, Canadian Journal of Mathematics, 73(5): 1205-1238, 2021.

Squares and Uncountably Singularized Cardinals , with Maxwell Levine, Fundamenta Mathematicae 253: 277-296, 2021.

The ineffable tree property and failure of the Singular Cardinals Hypothesis , with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, and Spencer Unger, Trans. Amer. Math. Soc. 373: 5937-5955, 2020.

The tree property at the two immediate successors of a singular cardinal , with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, and Spencer Unger, Journal of Symbolic Logic, pages 1-9, doi:10.1017/jsl.2020.11, 2020.

Singularizing cardinals (survey), to appear in Simon Thomas conference volume, Contemporary Mathematics.

The super tree property at the successor of a singular, with Sherwood Hachtman, Israel Journal of Math., 236(1): 473-500, 2020.

ITP, ISP and SCH, with Sherwood Hachtman, Journal of Symbolic Logic, 84(2): 713-725, 2019.

Kurepa trees and spectra of $\mathcal{L}_{\omega_1,\omega}$-sentences, with Ioannis Souldatos, Archive for Mathematical Logic volume 59, pages939â€“956, 2020.

The eightfold way, with James Cummings, Sy Friedman, Menachem Magidor, Assaf Rinot, Journal of Symbolic Logic, 83(1): 349-371, 2018.

Ordinal definable subsets of singular cardinals, with James Cummings, Sy Friedman, Menachem Magidor, Assaf Rinot, Israel J. Math., 226(2), 781-804, 2018.

The tree property at $\aleph_{\omega^2+1}$ and $\aleph_{\omega^2+2}$, with Spencer Unger, Journal of Symbolic Logic, 83(2), 669-682, 2018.

The tree property at the first and double successors of a singular, Israel J. Math. 216 (2): 799-810, 2016.

Singular cardinals and square properties, with Menachem Magidor, Proc. Amer. Math. Soc. 145 (2017), 4971-4980.

Modified extender based forcing, with Spencer Unger, Journal of Symbolic Logic 2016; 81(04):1432-1443.

Scales at $\aleph_{\omega}$, with Spencer Unger, Israel Journal of Mathematics, 209:463-486, 2015.

Hybrid Prikry Forcing, Fundamenta Mathematicae, 228:139-152, 2015.

Combinatorics at $\aleph_{\omega}$, with Spencer Unger, Annals of Pure and Applied Logic 165: 996-1007, 2014.

The Tree Property and the failure of the Singular Cardinal Hypothesis at $\aleph_{\omega^2}$, Journal of Symbolic Logic, 77(3): 934-946, 2012.

The tree property at $\aleph_{\omega+1}$, Journal of Symbolic Logic, 77(1):279-290, 2012.

The tree property and the failure of SCH at uncountable cofinality, Archive for Mathematical Logic, 51(5-6):553-562, 2012.

A model for a very good scale and a bad scale, J. of Symbolic Logic, vol 73, no. 4 (2008), 1361-1372.

A cardinal preserving extension making the set of points of countable $V$ cofinality nonstationary, with Moti Gitik, Itay Neeman, Archive for Mathematical Logic, vol 46 (2007), 451-456.

Review:

Itay Neeman: Forcing with sequences of models with two types, Bulletin of Symbolic Logic. PDF file