Timeline for If a theory speaks of sets that cannot be forced to be parameter free definable, then does this entail a large cardinal property?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2023 at 11:14 | vote | accept | Zuhair Al-Johar | ||
| Jan 4, 2023 at 9:25 | answer | added | Asaf Karagila♦ | timeline score: 3 | |
| Jan 3, 2023 at 19:07 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Jan 3, 2023 at 19:03 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, yes, of course. I’ve edited it. Thanks! | |
| Jan 3, 2023 at 17:36 | comment | added | Joel David Hamkins | When you say "forcing extension", does this include class forcing? That is what is needed for the arguments of my paper with Linetsky and Reitz. | |
| Jan 3, 2023 at 17:06 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |