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

# Monthly Archives: May 2016

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