### Recent Writing

### Mathoverflow Activity

- Comment by Victoria Gitman on Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilterThis is really very nice!Victoria Gitman
- Comment by Victoria Gitman on Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilterAli, I am just seeing the comment because I have been away from MO for a while. So you are saying that even an ill-founded ultrapower by a non-normal filter as long as it is weakly amenable can be used to show that kappa is weakly compact in M?Victoria Gitman
- Answer by Victoria Gitman for Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilterLet's make some additional assumptions on the ultrafilter $U$. Suppose $M\models{\rm ZFC}^-$ and $\kappa$ is a cardinal in $M$. We say that $U$ is an $M$-ultrafilter if $\langle M,\in,U\rangle$ satisfies that $U$ is a $\kappa$-complete normal ultrafilter on $\kappa$. Because $U$ is only $\kappa$-complete for sequences in $M$ and $M$ might be missing even countable […]Victoria Gitman

- Comment by Victoria Gitman on Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilter
### Cantor’s Attic

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

# Monthly Archives: April 2012

## Models of $\rm{ZFC}^-$ that are not definable in their set forcing extensions

This is a talk at the CUNY Set Theory Seminar, May 4, 2012.