### Recent Writing

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

- User:OrdnialsIntroducing New pageI'm interested in transfinite numbers. This wiki is inactive for the last years so I joined.Ordnials
- File:Omega-e.pngOrdnials uploaded File:Omega-e.png Ordinals!!!!Ordnials
- IndecomposableImages ← Older revision Revision as of 19:17, 26 March 2017 (5 intermediate revisions by the same user not shown)Line 1: Line 1: −An indecomposable ordinal is an ordinal that can't be expressed as the sum of two smaller numbers.+[[File:https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Omega-exp-omega-labeled.svg/832px-Omega-exp-omega-labeled.svg]]An indecomposable ordinal is an ordinal that can't be expressed as the sum of two smaller […]Ordnials
- User:OrdnialsUser account Ordnials was createdOrdnials
- Madore's ψ functionValues ← Older revision Revision as of 12:02, 24 March 2017 Line 33: Line 33: Now we are introducing the Veblen function, which is explained in [[Diagonalization]]. Now we are introducing the Veblen function, which is explained in [[Diagonalization]]. −\begin{eqnarray*} \psi(\Omega^3 \varphi_5(0)) &=& \varphi_5(0) \\ \psi(\Omega^4) &=& \varphi_5(0) \\ \psi(\Omega^n) &=& \varphi_{1+n}(0) \\ \psi(\Omega^{\Gamma_0}) &=& […]Maomao

- User:Ordnials

# Monthly Archives: September 2016

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