Timeline for How strong is "all up-classes are infinitarily definable"?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 3, 2021 at 4:50 | comment | added | Trevor Wilson | @NoahSchweber I edited the answer to add a version of the argument that avoids using global choice. | |
| Jan 3, 2021 at 4:49 | history | edited | Trevor Wilson | CC BY-SA 4.0 |
added argument avoiding global choice
|
| Nov 29, 2020 at 19:52 | vote | accept | Noah Schweber | ||
| Nov 29, 2020 at 19:52 | comment | added | Noah Schweber | I've awarded and accepted since this absolutely answers my question, but I'm still interested in any observations about the role of global choice here. | |
| Nov 29, 2020 at 19:51 | history | bounty ended | Noah Schweber | ||
| Nov 26, 2020 at 20:04 | comment | added | Trevor Wilson | I'm not sure; I'll think about it. | |
| Nov 26, 2020 at 20:03 | comment | added | Noah Schweber | Argh, of course, I misremembered what base theory I was using. At a glance this works - do you know if there's a way around using global choice? | |
| Nov 26, 2020 at 20:03 | comment | added | Trevor Wilson | If I'm not mistaken, this is an instance of MK's "limitation of size" principle, which is a form of global choice. | |
| Nov 26, 2020 at 19:30 | history | answered | Trevor Wilson | CC BY-SA 4.0 |