Author Archives: Victoria Gitman

Virtual large cardinal principles

This is a talk at the Harvard Logic Colloquium, Cambridge, November 8, 2017.

Posted in talks | Tagged , , , | 2 Comments

Filter games and Ramsey-like cardinals

This is a talk at the CUNY Set Theory Seminar, October 20, 2017.

Posted in talks | Leave a comment

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 Citation arχiv @ARTICLE{GitmanHamkinsHolySchlichtWilliams:ForcingTheorem, AUTHOR= {Victoria Gitman and Joel David Hamkins and Peter Holy and Philipp Schlicht and … Continue reading

Posted in publications | Tagged , , , , , , , , , , , | 1 Comment

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.” (Submitted)   PDF Citation arχiv @ARTICLE{GitmanHamkins:GVP, AUTHOR= {Victoria Gitman and Joel David Hamkins}, TITLE= {A model of the generic … Continue reading

Posted in publications | Tagged , , , | Leave a comment

A model of second-order arithmetic with the choice scheme in which $\Pi^1_2$-dependent choice fails

This is a talk at the Kurt Gödel Research Center Research Seminar in Vienna, Austria, May 18, 2017.

Posted in talks | Tagged , , , , , , | 2 Comments

Computable processes which produce any desired output in the right nonstandard model

This is a talk at the special session “Computability Theory: Pushing the Boundaries” of 2​017 AMS Eastern Sectional Meeting in New York, May 6-7.

Posted in talks | Tagged | Leave a comment

Virtual large cardinals

V. Gitman and R. Schindler, “Virtual large cardinals.” (Submitted)   PDF Citation @ARTICLE{GitmanSchindler:virtualCardinals, AUTHOR= {Gitman, Victoria and Schindler, Ralf}, TITLE= {Virtual large cardinals}, Note ={Submitted}, pdf={https://boolesrings.org/victoriagitman/files/2017/03/virtualLargeCardinals.pdf}, }

Posted in publications | Tagged , , | Leave a comment

Virtual Set Theory and Generic Vopěnka’s Principle

This is a talk at the VCU MAMLS Conference in Richmond, Virginia, April 1, 2017.

Posted in talks | Tagged , , , | 4 Comments

A countable ordinal definable set of reals without ordinal definable elements

This is a talk at the CUNY Set Theory Seminar, February 10, 2017.

Posted in talks | Tagged , , | 2 Comments

The oddities of class forcing

I recently finished reading a series of excellent articles by Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir and Philipp Schlicht investigating properties of class forcing over models of ${\rm GBC}$ (Gödel-Bernays set theory). So I would like to summarize … Continue reading

Posted in research | Tagged , , , | 6 Comments