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

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

Continue reading

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

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

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

Posted in research | Tagged , , , | 6 Comments

A set-theoretic approach to Scott’s Problem

This is a talk at the National University of Singapore Logic Seminar, October 19, 2016. Continue reading

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

Generic Vopěnka’s Principle at YST2016

This is a talk at the Young Set Theory 2016 Conference in Copenhagen, Denmark, June 13-17, 2016. Continue reading

Posted in talks | Tagged , , , | 2 Comments

Generic Vopěnka’s Principle

This is a talk at the Rutgers Logic Seminar in New Jersey, May 2, 2016. Continue reading

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