“If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is.” — John von Neumann

Welcome to my blog! I am a visiting scholar at the CUNY Graduate Center. I am a co-organizer of the CUNY Set Theory Seminar. My most recent CV is here.

On my blog, you can learn about my research, find course materials from the classes I taught, and read my thoughts on mathematics, education, and the universe.

Go to the temporary CUNY Logic Seminars page.

Visit Cantor’s Attic, the wiki for mathematical infinity in general and large cardinals in particular, founded by Joel Hamkins and myself. The site, currently in the early stages of development, aspires to become an extensive, detailed repository of current knowledge on large cardinal theory.

Here is my WordPress profile.

**Upcoming talks**

(none)

**Recent publications**

- A model of second-order arithmetic satisfying AC but not DC
- S. Friedman and V. Gitman, “A model of second-order arithmetic satisfying AC but not DC.” (manuscript under review)
`@ARTICLE{FriedmanGitman:ModelOfACNotDC, author = {Sy-David Friedman and Victoria Gitman}, title = {A model of second-order arithmetic satisfying {AC} but not {DC}}, note = {manuscript under review}, url = {}, pdf={https://boolesrings.org/victoriagitman/files/2018/03/ModelOfACNotDC.pdf}, }`

- S. Friedman and V. Gitman, “A model of second-order arithmetic satisfying AC but not DC.” (manuscript under review)
- The exact strength of the class forcing theorem
- V. Gitman, J. D. Hamkins, P. Holy, P. Schlicht, and K. Williams, “The exact strength of the class forcing theorem.” (Submitted)
`@ARTICLE{GitmanHamkinsHolySchlichtWilliams:ForcingTheorem, AUTHOR= {Victoria Gitman and Joel David Hamkins and Peter Holy and Philipp Schlicht and Kameryn Williams}, TITLE= {The exact strength of the class forcing theorem}, PDF={https://boolesrings.org/victoriagitman/files/2017/07/Forcing-theorem.pdf}, Note ={Submitted}, EPRINT ={1707.03700}, }`

- V. Gitman, J. D. Hamkins, P. Holy, P. Schlicht, and K. Williams, “The exact strength of the class forcing theorem.” (Submitted)
- A model of the generic Vopěnka principle in which the ordinals are not $\Delta_2$-Mahlo
- V. Gitman and J. D. Hamkins, “A model of the generic vop\v enka principle in which the ordinals are not $\Delta_2$-mahlo.” (To appear in the {A}rchive for {M}athematical {L}ogic)
`@ARTICLE{GitmanHamkins:GVP, AUTHOR= {Victoria Gitman and Joel David Hamkins}, TITLE= {A model of the generic Vop\v enka principle in which the ordinals are not $\Delta_2$-Mahlo}, PDF={https://boolesrings.org/victoriagitman/files/2017/06/Generic-Vopenka-with-Ord-not-Mahlo.pdf}, Note ={To appear in the {A}rchive for {M}athematical {L}ogic}, EPRINT ={1706.00843}, }`

- V. Gitman and J. D. Hamkins, “A model of the generic vop\v enka principle in which the ordinals are not $\Delta_2$-mahlo.” (To appear in the {A}rchive for {M}athematical {L}ogic)
- Virtual large cardinals
- V. Gitman and R. Schindler, “Virtual large cardinals.” (To appear in the {P}roceedings of the {L}ogic {C}olloquium 2015)
`@ARTICLE{GitmanSchindler:virtualCardinals, AUTHOR= {Gitman, Victoria and Schindler, Ralf}, TITLE= {Virtual large cardinals}, Note ={To appear in the {P}roceedings of the {L}ogic {C}olloquium 2015}, pdf={https://boolesrings.org/victoriagitman/files/2018/02/virtualLargeCardinalsEdited.pdf}, }`

- V. Gitman and R. Schindler, “Virtual large cardinals.” (To appear in the {P}roceedings of the {L}ogic {C}olloquium 2015)