“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 mathematician working in the area of mathematical logic, which studies the foundations of mathematics. My two favorite branches of mathematical logic are set theory and models of Peano Arithmetic. Set theory studies the properties of sets, which are the building blocks of all other mathematical objects. Models of Peano Arithmetic studies structures which share the same fundamental properties as the natural numbers, but look and behave crazy different from them. My CV is here.
I am a coorganizer of the CUNY Set Theory Seminar at the Graduate Center. Please contact me if you are interested in giving a talk. I am a webmester for NYLogic, the CUNY Logic seminars website. Contact me with any questions/suggestions for the website. Many CUNY logic talks can be found on the NYlogic YouTube channel. Follow CUNY logic seminars Follow @CUNYLogic.
To contact me, send an email to vgitman at gmail dot com.
Recent Writing
Parameterfree schemes in secondorder arithmetic
Cardinal correct extendible cardinals
New large cardinal chart of Ramseylike cardinals
Recent and Upcoming Talks

Upward LöwenheimSkolem numbers for abstract logics
This is a talk at the CUNY Logic Workshop, CUNY Graduate Center, November 10, 2023.
Slides 
An overview of virtual large cardinals
This is a talk at the University of Konstanz, July 21, 2023.
Slides 
A gentle introduction to class forcing
This is a talk at the Konstanz Logik Kolloquium, University of Konstanz, July 21, 2023.
Slides 
Jensen’s forcing at an inaccessible
This is a talk at the Rutgers Logic Seminar, Rutgers University, April 10, 2023.
Slides 
Parameterfree comprehension in secondorder arithmetic
This is a talk at the CUNY Logic Workshop, CUNY Graduate Center, March 24, 2023.
Slides 
Working in set theory without powerset
This is a talk at the Arctic Set Theory Workshop, University of Helsinki, February 22, 2023.
Slides
Recent Publications

Parameterfree schemes in secondorder arithmetic
V. Gitman, “Parameterfree schemes in secondorder arithmetic,” Manuscript.
PDF Bibtex 
Upward LöwenheimSkolem numbers for abstract logics
V. Gitman and J. Osinski, “Upward LöwenheimSkolem numbers for abstract logics,” Manuscript, 2023.
PDF Bibtex 
Between Ramsey and measurable cardinals
V. Gitman and P. Schlicht, “Between Ramsey and measurable cardinals,” Manuscript, 2023.
PDF Bibtex Arχiv 
Jensen forcing at an inaccessible and a model of KelleyMorse satisfying ${\rm CC}$ but not ${\rm DC}_\omega$
S.D. Friedman and V. Gitman, “Jensen forcing at an inaccessible and a model of KelleyMorse satisfying ${\rm CC}$ but not ${\rm DC}_ω$,” Manuscript, 2023.
PDF Bibtex 
ZFC without Power Set II: Reflection Strikes Back
V. Gitman and R. Matthews, “ZFC without Power Set II: Reflection Strikes Back,” To appear in Fundamenta Mathematicae, 2022.
PDF Bibtex Arχiv 
Indestructibility for Ramsey and Ramseylike cardinals
V. Gitman and T. A. Johnstone, “Indestructibility properties of Ramsey and Ramseylike cardinals,” Ann. Pure Appl. Logic, vol. 173, no. 6, pp. Paper No. 103106, 30, 2022.
PDF Bibtex