Timeline for Large cardinal axioms and total recursive functions
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 19, 2016 at 9:02 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
fix MO 1.0 -> 2.0 formatting problems
|
| Jun 8, 2012 at 17:01 | vote | accept | Joerg Zimmermann | ||
| Jun 8, 2012 at 13:04 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
correction
|
| Jun 8, 2012 at 11:02 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
make the inequalities strict
|
| Jun 8, 2012 at 10:55 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
expand the argument
|
| Jun 8, 2012 at 10:35 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |