Timeline for Can we interpret ZFC in GEM?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2021 at 16:51 | comment | added | tox123 | @JamesHanson interesting result (although deeply unfortunate) thanks for sharing that. I also wasn't aware that GEM has finite models, but that does make sense I suppose. | |
| Sep 24, 2021 at 0:16 | comment | added | James E Hanson | It seems furthermore that Tsai showed that GEM is decidable, which also precludes the possibility of interpreting ZFC. | |
| Sep 24, 2021 at 0:12 | comment | added | James E Hanson | Am I understanding correctly that GEM has finite models? If so, it by itself is certainly not going to be strong enough to interpret ZFC. | |
| Sep 23, 2021 at 22:50 | review | Close votes | |||
| Oct 4, 2021 at 3:02 | |||||
| S Sep 23, 2021 at 22:26 | review | First questions | |||
| Sep 24, 2021 at 5:13 | |||||
| S Sep 23, 2021 at 22:26 | history | asked | tox123 | CC BY-SA 4.0 |