Timeline for For which theories does ZFC without global choice prove the existence of a proper class monster model?
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 16, 2018 at 5:19 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
fix name
|
Jul 16, 2018 at 4:45 | history | edited | James E Hanson | CC BY-SA 4.0 |
More precise citation of the original paper
|
Jul 12, 2018 at 22:21 | history | answered | James E Hanson | CC BY-SA 4.0 |