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

- 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
- BEAF← Older revision Revision as of 08:17, 19 March 2017 Line 59: Line 59: \{3,\{3,\{3,\{3,\{3,3,3(1)\{3,\{3,\{3,\{3,\{3,3,3(1)\{3,\{\underbrace{3,\cdots,3}_{3\uparrow\uparrow\uparrow3}\},2(1)2\}\}(1)1,2\},2(1)1,2\}(1)2,3\}(1)2,2\},2\}(1)1,3\},2(1)1,3\} \{3,\{3,\{3,\{3,\{3,3,3(1)\{3,\{3,\{3,\{3,\{3,3,3(1)\{3,\{\underbrace{3,\cdots,3}_{3\uparrow\uparrow\uparrow3}\},2(1)2\}\}(1)1,2\},2(1)1,2\}(1)2,3\}(1)2,2\},2\}(1)1,3\},2(1)1,3\} \end{eqnarray*} \end{eqnarray*} + +== Hyperdimentional arrays == + +\(\{3,3(0,1)2\}=???\) + +What does (0,1) even mean? It is a \(X^X\) structure, or \(X^p\). So we can replace (0,1) with (p), or (3). The process is something like diagonalization, but it isn't. + […]Maomao

- Madore's ψ function