Timeline for Cardinalities larger than the continuum in areas besides set theory
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Nov 25, 2015 at 20:20 | comment | added | Joseph Van Name | As for my previous comment, a reference from the result about how $n$-hugeness suffices in the place of I3 is stated at least in Dougherty's paper "Critical points in an algebra of elementary embeddings." | |
| Apr 25, 2014 at 0:59 | comment | added | Joseph Van Name | I know that the freeness of $A_{\infty}$ follows from the existence of an I3 cardinal, but do you have a reference where the existence of an $n$-huge cardinal for all $n$ a weaker assumption implies that $A_{\infty}$ is free? | |
| S Aug 7, 2013 at 20:56 | history | suggested | Michael Albanese | CC BY-SA 3.0 |
Replaced \* by *.
|
| Aug 7, 2013 at 20:42 | review | Suggested edits | |||
| S Aug 7, 2013 at 20:56 | |||||
| Mar 11, 2011 at 20:17 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 2.5 |
linkified link to JM’s post on computation
|
| Mar 11, 2011 at 19:20 | history | edited | Justin Moore | CC BY-SA 2.5 |
Gave a more explicit definition of Laver table
|
| Mar 10, 2011 at 3:40 | comment | added | Justin Moore | Laver discovered them in the course of studying the algebra of elementary embeddings. See the above references for a discussion. Dehornoy's book gives a fairly exhaustive account and development of the tables. | |
| Mar 10, 2011 at 3:39 | history | edited | Justin Moore | CC BY-SA 2.5 |
added 1 characters in body
|
| Mar 10, 2011 at 2:56 | comment | added | Mariano Suárez-Álvarez | Is the history of the appearance of the tables (this sounds so biblical!) written down somewhere? | |
| Mar 10, 2011 at 2:36 | history | answered | Justin Moore | CC BY-SA 2.5 |