Timeline for Is definable bounded separation equivalent to bounded separation?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2022 at 1:02 | comment | added | C7X | This may not be enough to post as a full answer, but I believe most countable models of KP are also pointwise definable. According to Marek and Srebrny's thesis "Gaps in the Constructible Universe", if $\alpha$ isn't during a gap then $L_\alpha$ is pointwise definable. For non-gap $\alpha$ modeling KP-Collection, we have $L_\alpha$ models KP-Collection-Sep+Definable-bounded-sep, and there since the model is pointwise definable we have definable-boudned sep equivalent to separation. | |
| Apr 29, 2022 at 16:37 | comment | added | Zuhair Al-Johar | @C7X, Thanks for drawing my attention to this point. I attached an article speaking about the original system of Mac Lane, it does contain foundation. | |
| Apr 28, 2022 at 21:09 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 63 characters in body
|
| Apr 28, 2022 at 20:45 | comment | added | C7X | I didn't see foundation or regularity on the list on the Wikipedia page en.wikipedia.org/wiki/…, if so should this page be edited? | |
| Apr 28, 2022 at 16:07 | comment | added | Zuhair Al-Johar | @C7X, why exclude Foundation? It is there. | |
| Apr 28, 2022 at 15:37 | comment | added | C7X | Is this theory equivalent to KP-Foundation-Collection but with separation replaced with definable-bounded separation? | |
| Apr 22, 2022 at 19:57 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |