Timeline for Does foundationless Ackermann set theory prove replacement?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 15, 2021 at 13:22 | comment | added | Poypoyan | @GregKirmayer I like to see the sketch although (I think) this doesn't solve the original open problem. :) | |
| Sep 29, 2021 at 5:56 | comment | added | Greg Kirmayer | If ZF is consistent, then there are instances of replacement relativized to V which are not provable from A. There is an interpretation in a conservative extension of ZF in which all of A holds and there are instances of replacement relativized to V which do not hold. Maybe,if no one else posts an answer, I will post a sketch of the argument. | |
| Sep 27, 2021 at 19:27 | history | edited | user76284 | CC BY-SA 4.0 |
edited body
|
| Sep 27, 2021 at 19:19 | history | asked | user76284 | CC BY-SA 4.0 |