### Recent Writing

### Mathoverflow Activity

- Answer by Victoria Gitman for Set forcing over transitive models of NBGSet forcing works over models of ${\rm NBG}$. Suppose ${\mathbb P}$ is a set partial order. Set $\mathbb P$-names are defined as usual. A class $\mathbb P$-name is defined to be a collection of pairs $(\tau,p)$ where $\tau$ is a set $\mathbb P$-name and $p\in\mathbb P$. All the usual properties of the set forcing construction […]Victoria Gitman
- 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

- Answer by Victoria Gitman for Set forcing over transitive models of NBG
### Cantor’s Attic

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

# Monthly Archives: January 2015

## Ehrenfeucht’s lemma in set theory

G. Fuchs, V. Gitman, and J. D. Hamkins, “Ehrenfeucht’s lemma in set theory,” To appear in the notre dame journal of formal logic. PDF Citation arχiv @ARTICLE{fuchsgitmanhamkins:ehrenfeuchtLemma, AUTHOR= {Gunter Fuchs and Victoria Gitman and Joel David Hamkins}, TITLE= {Ehrenfeucht’s … Continue reading

Posted in publications
Tagged Algebraicity, Ehrenfeucht principles, Ehrenfeucht's lemma, G. Fuchs, J. D. Hamkins
Leave a comment