- V. Gitman, J. D. Hamkins, P. Holy, P. Schichit, 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 Schichit 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}, }`

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

- An error has occurred, which probably means the feed is down. Try again later.