## Virtual large cardinal principles

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

Posted in talks | | 2 Comments

## Filter games and Ramsey-like cardinals

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

## 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)
@ARTICLE{GitmanHamkinsHolySchlichtWilliams:ForcingTheorem,
AUTHOR= {Victoria Gitman and Joel David Hamkins and Peter Holy and Philipp Schlicht and Kameryn Williams},
TITLE= {The exact strength of the class forcing theorem},
PDF={https://boolesrings.org/victoriagitman/files/2017/07/Forcing-theorem.pdf},
Note ={Submitted},
EPRINT ={1707.03700},
}

## 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)
@ARTICLE{GitmanHamkins:GVP,
AUTHOR= {Victoria Gitman and Joel David Hamkins},
TITLE= {A model of the generic Vop\v enka principle in which the ordinals are not $\Delta_2$-Mahlo},
PDF={https://boolesrings.org/victoriagitman/files/2017/06/Generic-Vopenka-with-Ord-not-Mahlo.pdf},
Note ={Submitted},
EPRINT ={1706.00843},
}

## 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. Continue reading

## 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. Continue reading

## Virtual large cardinals

• V. Gitman and R. Schindler, “Virtual large cardinals.” (Submitted)
@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},
}

## Virtual Set Theory and Generic Vopěnka’s Principle

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

## A countable ordinal definable set of reals without ordinal definable elements

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

Posted in talks | | 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 their results in this post. Continue reading

Posted in research | | 6 Comments