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

Posted in talks | Tagged , , | Leave a comment

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},
    }

Continue reading

Posted in publications | Tagged , , , , , , | 9 Comments

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

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

Virtual large cardinal principles

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

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

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)  
    @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},
    }

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.” (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},
    }

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

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

Posted in talks | Tagged | Leave a comment

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},
    }

Continue reading

Posted in publications | Tagged , , | Leave a comment

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

Posted in talks | Tagged , , | Leave a comment

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},
    }

Continue reading

Posted in publications | Tagged , , , , , , | 9 Comments

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

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

Virtual large cardinal principles

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

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

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)  
    @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},
    }

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.” (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},
    }

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

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

Posted in talks | Tagged | Leave a comment

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},
    }

Continue reading

Posted in publications | Tagged , , | Leave a comment