A while ago Joel Hamkins suggested that I copy cat this post of Norman’s: Chart of large cardinals near high-jump with my own large cardinal chart. So here is the large cardinal chart of Ramsey-like cardinals and their relationship to other large cardinal notions. The Ramsey-like cardinals: $\alpha$-*iterable* cardinals ($1\leq\alpha\leq\omega_1$), *strongly Ramsey* cardinals, *super Ramsey* cardinals, and *superlatively Ramsey* cardinals were introduced by myself and/or Philip Welch. All relevant definitions are here.

### Recent Writing

### Mathoverflow Activity

- Comment by on Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?@Stefan For some reason, I cannot click on the link.
- Comment by 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 :).
- Comment by 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.

- Comment by on Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?
### Cantor’s Attic

- User:Dan Saattrup NielsenUser account Dan Saattrup Nielsen was createdDan Saattrup Nielsen
- User:Maomao← Older revision Revision as of 09:30, 22 January 2017 Line 1: Line 1: −Hello, Everybody. My name is Maomao. You will be a bit surprised because I am only 10 years old. But I have already created 4 pages, and edited 6 pages.+Hello, Everybody. My name is Maomao. You will be a bit surprised […]Maomao
- DiagonalizationSequences ← Older revision Revision as of 03:14, 22 January 2017 (2 intermediate revisions by the same user not shown)Line 46: Line 46: 1. \(\varphi_0(0)=1\) 1. \(\varphi_0(0)=1\) −2. If \(\alpha\) is a succsessor, then \(\varphi_\alpha(0)[n]=\varphi_{\alpha-1}^n(0)\) and \(\varphi_\alpha(a)[n]=\varphi_{\alpha-1}^n(\varphi_\alpha(a-1)+1)[n]\).+2. If \(\alpha\) is a succsessor, then \(\varphi_\alpha(0)[n]=\varphi_{\alpha-1}^n(0)\) and \(\varphi_\alpha(a)[n]=\varphi_{\alpha-1}^n(\varphi_\alpha(a-1)+1)\). −3. If \(\beta\) is a limit ordinal, then […]Maomao
- Madore's ψ functionValues ← Older revision Revision as of 11:10, 19 January 2017 (One intermediate revision by the same user not shown)Line 15: Line 15: \begin{eqnarray*} \psi(0) &=& \varepsilon_0 \\ \psi(1) &=& \varepsilon_1 \\ \psi(2) &=& \varepsilon_2 \\ \psi(n) &=& \varepsilon_n \\ \psi(\zeta_0) &=& \zeta_0 \\ \psi(\zeta_0+1) &=& \zeta_0 \end{eqnarray*} \begin{eqnarray*} \psi(0) &=& \varepsilon_0 \\ \psi(1) &=& \varepsilon_1 […]Maomao
- User:MerbstUser account Merbst was createdMerbst

- User:Dan Saattrup Nielsen

Yay! I love it!