Timeline for Is ZFC+(negation of a large cardinal axiom) arithmetically sound?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 30, 2017 at 21:52 | comment | added | Morteza Azad | Inspired by your question I wonder if anti-large cardinal axioms such as Foreman's Maximality Principle (MP) have any direct implications in arithmetic. | |
| Sep 29, 2017 at 21:57 | answer | added | Andrés E. Caicedo | timeline score: 13 | |
| Sep 29, 2017 at 21:01 | history | asked | Payam Seraji | CC BY-SA 3.0 |