## Virtual large cardinal principles at KGRC

This is a talk at the Kurt Gödel Research Center Research Seminar in Vienna, Austria, April 14, 2018. Continue reading

## A model of second-order arithmetic satisfying AC but not DC

• S. Friedman and V. Gitman, “A model of second-order arithmetic satisfying AC but not DC.” (manuscript under review)
@ARTICLE{FriedmanGitman:ModelOfACNotDC,
author = {Sy-David Friedman and Victoria Gitman},
title = {A model of second-order arithmetic satisfying {AC} but not {DC}},
note = {manuscript under review},
url = {},
pdf={https://boolesrings.org/victoriagitman/files/2018/03/ModelOfACNotDC.pdf},
}

## The emerging zoo of second-order set theories

This is a talk at the Young Researchers’ Workshop: Forcing and Philosophy, University of Konstanz, January 18, 2018. Continue reading

## 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.” (To appear in the {A}rchive for {M}athematical {L}ogic)
@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 ={To appear in the {A}rchive for {M}athematical {L}ogic},
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.” (To appear in the {P}roceedings of the {L}ogic {C}olloquium 2015)
@ARTICLE{GitmanSchindler:virtualCardinals,
AUTHOR= {Gitman, Victoria and Schindler, Ralf},
TITLE= {Virtual large cardinals},
Note ={To appear in the {P}roceedings of the {L}ogic {C}olloquium 2015},
pdf={https://boolesrings.org/victoriagitman/files/2018/02/virtualLargeCardinalsEdited.pdf},
}

## Virtual large cardinal principles at KGRC

This is a talk at the Kurt Gödel Research Center Research Seminar in Vienna, Austria, April 14, 2018. Continue reading

## A model of second-order arithmetic satisfying AC but not DC

• S. Friedman and V. Gitman, “A model of second-order arithmetic satisfying AC but not DC.” (manuscript under review)
@ARTICLE{FriedmanGitman:ModelOfACNotDC,
author = {Sy-David Friedman and Victoria Gitman},
title = {A model of second-order arithmetic satisfying {AC} but not {DC}},
note = {manuscript under review},
url = {},
pdf={https://boolesrings.org/victoriagitman/files/2018/03/ModelOfACNotDC.pdf},
}

## The emerging zoo of second-order set theories

This is a talk at the Young Researchers’ Workshop: Forcing and Philosophy, University of Konstanz, January 18, 2018. Continue reading

## 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.” (To appear in the {A}rchive for {M}athematical {L}ogic)
@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 ={To appear in the {A}rchive for {M}athematical {L}ogic},
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