Victoria Gitman

“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

Recent and Upcoming Talks

• Parameter-free schemes in second-order arithmetic
  

  This is a talk at the Online Logic Seminar, February 6, 2025.
  Slides

• Upward Löwenheim-Skolem numbers for abstract logics
  

  This is a talk at the Rutgers Logic Seminar, Rutgers University, December 09, 2024.
  Slides

• Baby measurable cardinals
  

  This is a talk at the CUNY Logic Workshop, CUNY Graduate Center, September 27, 2024.
  Slides

• Upward Löwenheim-Skolem numbers for abstract logics
  

  This is a talk at the CUNY Logic Workshop, CUNY Graduate Center, November 10, 2023.

• 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

Recent Publications

• Cardinals of the $P_\kappa(\lambda)$-filter games
  T. Benhamou and V. Gitman, “Cardinals of the $P_κ(λ)$-filter games,” Manuscript, 2025.
  PDF   Bibtex   Arχiv

  @article{BenhamouGitman:supercompactGames, title={Cardinals of the $P_\kappa(\lambda)$-filter games}, author={Tom Benhamou and Victoria Gitman}, journal = {Manuscript}, year = {2025}, eprint = {2504.00119} } 

• Parameter-free schemes in second-order arithmetic
  V. Gitman, “Parameter-free schemes in second-order arithmetic,” To appear in the Journal of Symbolic Logic, 2024.
  PDF   Bibtex

  @article {Gitman:parameterFreeComprehension, AUTHOR = {Victoria Gitman}, TITLE = {Parameter-free schemes in second-order arithmetic}, JOURNAL = {to appear in the Journal of Symbolic Logic}, }

• Upward Löwenheim-Skolem-Tarski numbers for abstract logics
  V. Gitman and J. Osinski, “Upward Löwenheim-Skolem-Tarski numbers for abstract logics,” Ann. Pure Appl. Logic, vol. 176, no. 8, pp. Paper No. 103583, 2025. Available at: https://doi.org/10.1016/j.apal.2025.103583
  PDF   Bibtex

  @article {GitmanOsinski:ULS, AUTHOR = {Gitman, Victoria and Osinski, Jonathan}, TITLE = {Upward {L}"{o}wenheim-{S}kolem-{T}arski numbers for abstract logics}, JOURNAL = {Ann. Pure Appl. Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {176}, YEAR = {2025}, NUMBER = {8}, PAGES = {Paper No. 103583}, ISSN = {0168-0072}, MRCLASS = {03C55 (03C85 03C95 03E35 03E55)}, MRNUMBER = {4886380}, DOI = {10.1016/j.apal.2025.103583}, URL = {https://doi.org/10.1016/j.apal.2025.103583}, }

• Between Ramsey and measurable cardinals
  V. Gitman and P. Schlicht, “Between Ramsey and measurable cardinals,” Manuscript, 2023.
  PDF   Bibtex   Arχiv

  @article{GitmanSchlicht:babyMeasurableCardinals, author = {Victoria Gitman and Philipp Schlicht}, title = {Between Ramsey and measurable cardinals}, journal = {Manuscript}, year = {2023}, } 

• 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

  @article {FriedmanGitman:ModelOfACNotDCInaccessible, AUTHOR = {Friedman, Sy-David and Gitman, Victoria}, TITLE = {Jensen forcing at an inaccessible and a model of {K}elley-{M}orse satisfying ${\rm CC}$ but not ${\rm DC}_\omega$}, YEAR ={2023}, JOURNAL ={Manuscript},
  }

• ZFC without Power Set II: Reflection Strikes Back
  V. Gitman and R. Matthews, “ZFC without power set II: reflection strikes back,” Fund. Math., vol. 264, no. 2, pp. 149–178, 2024. Available at: https://doi.org/10.4064/fm206-11-2023
  PDF   Bibtex   Arχiv

  @article {GitmanMatthews:ZFCwithoutPowersetII, AUTHOR = {Gitman, Victoria and Matthews, Richard}, TITLE = {Z{FC} without power set {II}: reflection strikes back}, JOURNAL = {Fund. Math.}, FJOURNAL = {Fundamenta Mathematicae}, VOLUME = {264}, YEAR = {2024}, NUMBER = {2}, PAGES = {149--178}, ISSN = {0016-2736}, MRCLASS = {03E30 (03E35 03E40)}, MRNUMBER = {4730238}, DOI = {10.4064/fm206-11-2023}, URL = {https://doi.org/10.4064/fm206-11-2023}, }