Associate Professor

University of Illinois at Chicago

Mathematics Department

Chicago, IL

Office SEO 421

E-Mail sinapova at uic .edu

- Mathematics Logic and Set Theory.
- Curriculum Vitae

- Spring 2020: Math 320: Linear Algebra

- 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

- Sigma Prikry Forcing II: Iteration Scheme , with Alejandro Poveda and Assaf Rinot.

- Sigma Prikry Forcing I: The Axioms , with Alejandro Poveda and Assaf Rinot.

- Squares and Uncountably Singularized Cardinals , with Maxwell Levine.

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

- The tree property at the two immediate successors of a singular cardinal , with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, and Spencer Unger.

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

- The super tree property at the successor of a singular, with Sherwood Hchtman, accepted to the Israel Journal of Mathematics.

- ITP, ISP and SCH, with Sherwood Hchtman, accepted to the Journal of Symbolic Logic.

- Kurepa trees and spectra of $\mathcal{L}_{\omega_1,\omega}$-sentences, with Ioannis Souldatos.

- 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.

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