Timeline for Which fragment of ZF does the class of all hereditarily predicatively definable sets capture?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 15, 2023 at 20:04 | vote | accept | Zuhair Al-Johar | ||
| Feb 15, 2023 at 10:39 | answer | added | Holo | timeline score: 2 | |
| Feb 14, 2023 at 20:43 | comment | added | Gabe Goldberg | This is not going to satisfy a whole lot of ZF since only arithmetic reals will belong to HPD yet for any $x\subseteq \omega$, $x\cup \{\omega\}$ will belong to HPD. | |
| Feb 14, 2023 at 20:32 | comment | added | Holo | Considering that there is no reflective principles between $V_{\rho(x)}$ and $V$, I would imagine that not a lot, even ignoring the restriction on the parameters | |
| Feb 14, 2023 at 20:12 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |