Timeline for Is ZFC+(negation of a large cardinal axiom) arithmetically sound?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 29, 2017 at 23:05 | history | edited | Andrés E. Caicedo | CC BY-SA 3.0 |
added 133 characters in body
|
| Sep 29, 2017 at 21:57 | history | answered | Andrés E. Caicedo | CC BY-SA 3.0 |