### Recent Writing

- The exact strength of the class forcing theorem
- A model of the generic Vopěnka principle in which the ordinals are not $\Delta_2$-Mahlo
- A model of second-order arithmetic with the choice scheme in which $\Pi^1_2$-dependent choice fails
- Computable processes which produce any desired output in the right nonstandard model
- Virtual large cardinals

### Mathoverflow Activity

- Comment by Victoria Gitman on Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?@Stefan For some reason, I cannot click on the link.Victoria Gitman
- Comment by Victoria Gitman on Cofinality of $j(\kappa)$ for a measurability embedding $j:V\to M$ with critical point $\kappa$@AsafKaragila I edited the question to make it clearer. Maybe I will ask your version as a follow-up if you don't ask it first :).Victoria Gitman
- Comment by Victoria Gitman on Cofinality of $j(\kappa)$ for a measurability embedding $j:V\to M$ with critical point $\kappa$@AsafKaragila I should have done a better job stating my question clearly. I wanted to know precisely what Yair answered: whether there are models where $\text{cf}(j(\kappa))$ is smaller than the size of $j(\kappa)$. Your interpretation of the question is very interesting as well, but I think much harder to answer.Victoria Gitman

- Comment by Victoria Gitman on Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?
### Cantor’s Attic

- Upper attic← Older revision Revision as of 20:48, 25 September 2017 Line 7: Line 7: * The '''[[Kunen inconsistency]]''': [[Reinhardt]] cardinal, [[Kunen_inconsistency#Super_Reinhardt_cardinal | super Reinhardt]] cardinal, [[Berkeley]] cardinal * The '''[[Kunen inconsistency]]''': [[Reinhardt]] cardinal, [[Kunen_inconsistency#Super_Reinhardt_cardinal | super Reinhardt]] cardinal, [[Berkeley]] cardinal * '''[[Rank into rank]]''' cardinals $j:V_\lambda\to V_\lambda$, [[rank+1 into rank+1]] cardinal $j:V_{\lambda+1}\to V_{\lambda+1}$, I0 cardinal [[L […]Wabb2t
- Wholeness axioms← Older revision Revision as of 20:46, 25 September 2017 Line 1: Line 1: −{{DISPLAYTITLE: The Wholeness Axiom}}+{{DISPLAYTITLE: The Wholeness Axioms}} The wholeness axioms, proposed by Paul Corazza Corazza2000:WholenessAxiomAndLaverSequences, Corazza2003:GapBetweenI3andWA, occupy a The wholeness axioms, proposed by Paul Corazza Corazza2000:WholenessAxiomAndLaverSequences, Corazza2003:GapBetweenI3andWA, occupy aWabb2t
- Wholeness AxiomsRedirected page to Wholeness axioms New page#REDIRECT [[Wholeness axioms]]Wabb2t
- Wholeness axiomWabb2t moved page Wholeness axiom to Wholeness axiomsWabb2t
- Critical pointUse in Large Cardinal Axioms ← Older revision Revision as of 20:43, 25 September 2017 (One intermediate revision by the same user not shown)Line 1: Line 1: +Given two structures $\mathcal{M}$ and $\mathcal{N}$, loosely speaking, the ''critical point'' is, broadly speaking, the smallest element in $\mathcal{M}$ which is similar to a larger element in $\mathcal{N}$. […]Wabb2t

- Upper attic

# Author Archives: Victoria Gitman

## The exact strength of the class forcing theorem

V. Gitman, J. D. Hamkins, P. Holy, P. Schichit, 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 Schichit and … Continue reading

## 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

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

## 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 2017 AMS Eastern Sectional Meeting in New York, May 6-7.

## 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 R. Schindler, remarkable cardinals, virtual large cardinals
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.

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

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

## 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

## A set-theoretic approach to Scott’s Problem

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

Posted in talks
Tagged Ehrenfeucht's lemma, PFA, proper families of reals, scott sets
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.