“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 co-organizer 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
Parameter-free schemes in second-order arithmetic
Cardinal correct extendible cardinals
New large cardinal chart of Ramsey-like cardinals
Recent and Upcoming Talks
-
Upward Löwenheim-Skolem 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 -
Parameter-free comprehension in second-order 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
-
Parameter-free schemes in second-order arithmetic V. Gitman, “Parameter-free schemes in second-order arithmetic,” Manuscript.
PDF Bibtex -
Upward Löwenheim-Skolem numbers for abstract logics V. Gitman and J. Osinski, “Upward Löwenheim-Skolem 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 Kelley-Morse satisfying ${\rm CC}$ but not ${\rm DC}_\omega$ S.-D. Friedman and V. Gitman, “Jensen forcing at an inaccessible and a model of Kelley-Morse 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 Ramsey-like cardinals V. Gitman and T. A. Johnstone, “Indestructibility properties of Ramsey and Ramsey-like cardinals,” Ann. Pure Appl. Logic, vol. 173, no. 6, pp. Paper No. 103106, 30, 2022.
PDF Bibtex