Professor of Mathematics

University of Illinois at Chicago

Mathematics Department

Chicago, IL

Office SEO 421

E-Mail sinapova at uic .edu

- Mathematical Logic and Set Theory.
- Curriculum Vitae

- Spring 2022: Math 430: Formal Logic I

- Spring 2022: Math 512: Infinitary Combinatorics

- Spring 2021: Math 504: Set Theory

- Distinguished Lecture Series presents Hugh Woodin, April 13-15, 20122, 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

- Sigma Prikry Forcing III: Down to $\aleph_\omega$ , with Alejandro Poveda and Assaf Rinot.

- Sigma Prikry Forcing II: Iteration Scheme , with Alejandro Poveda and Assaf Rinot, accepted to the J. Math. Logic.

- Sigma Prikry Forcing I: The Axioms , with Alejandro Poveda and Assaf Rinot, accepted to the Canadian Journal of Math.

- Squares and Uncountably Singularized Cardinals , with Maxwell Levine, accepted to Fundamenta Mathematicae.

- 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, accepted to the Journal of Symbolic Logic.

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

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