“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. My research is in an area of Mathematics called Set Theory. At the very foundation, all mathematical objects are sets. Set Theory, which studies the properties of sets, explores the foundations of mathematics. My CV is here.
I am a coorganizer of the CUNY Set Theory Seminar at the Graduate Center. I am the webmaster for the NYlogic website. Follow CUNY logic seminars Follow @CUNYLogic.
To contact me, send an email to vgitman at nylogic dot org.
Recent Writing
Toy multiverses of set theory
Computably saturated models of ZFC
Completely ineffable cardinals
Recent and Upcoming Talks

Toy multiverses of set theory
This is a talk at the Philosophy of Set Theory and Foundations workshop, University of Konstanz, August 1, 2019.
Slides 
A model of secondorder arithmetic satisfying ${\rm AC}$ but not ${\rm DC}$
This is a talk at the Journées sur les Arithmétiques Faibles 2019 Conference, CUNY Graduate Center, May 2830, 2019.
Slides 
Set theory in secondorder
This is a talk at the Set Theory in UK 2 meeting, University of Bristol, May 8, 2019.

Set theories with classes
This is a talk at the special set theory session, Association for Symbolic Logic 2019 Annual North American Meeting, CUNY Graduate Center, May 2023, 2019.
Slides 
A primer on the settheoretic multiverse
This is a talk at the ALPS Seminar, Virginia Commonwealth University , April 12, 2019.
Slides
Recent Publications

KelleyMorse set theory does not prove the class Fodor principle
V. Gitman, J. D. Hamkins, and A. Karagila, “KelleyMorse set theory does not prove the class Fodor theorem,” Submitted.
PDF Bibtex 
A $\square(\kappa)$like principle consistent with weak compactness
B. Cody, V. Gitman, and C. LambieHanson, “A $\square(κ)$like principle consistent with weak compactness,” Submitted.
PDF Bibtex 
Booleanvalued class forcing
C. Antos, S. D. Friedman, and V. Gitman, “Booleanvalued class forcing,” Submitted.
PDF Bibtex 
A model of secondorder arithmetic satisfying AC but not DC
S.D. Friedman, V. Gitman, and V. Kanovei, “A model of secondorder arithmetic satisfying AC but not DC,” J. Math. Log., vol. 19, no. 1, pp. 1850013, 39, 2019. Available at: https://victoriagitman.github.io/files/ModelOfACNotDC.pdf
PDF Bibtex 
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.
PDF Bibtex Arχiv