Timeline for Prime numbers and limit ordinals
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 3, 2013 at 23:14 | comment | added | Joel David Hamkins | The well-founded part of this order has order type $\omega^2$, and is the order arising from the lexical order on $\mathbb{N}$ using the pairing function $\langle n,k\rangle =2^n(2k+1)$, if one considers $k$ positive. | |
| Dec 3, 2013 at 22:39 | history | answered | Gerry Myerson | CC BY-SA 3.0 |