Timeline for Can we add $NF$ to Ackermann's set theory?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 16, 2020 at 18:26 | comment | added | Zuhair Al-Johar | Yes, something like that! | |
| Dec 15, 2020 at 17:34 | comment | added | Master | So you want to, from a model of $Ack$ and a model of $NF$, construct a model of $NF+Ack$? | |
| Dec 15, 2020 at 15:29 | comment | added | Zuhair Al-Johar | Yes but the argument is relative, if we suppose NF and Ack to be consistent, then is their blend consistent. By the way this question supposedly do have a positive answer according to Holmes, although he didn't write up the full formal proof, but the sketch of the proof is there and it seems convincing. | |
| Dec 14, 2020 at 20:13 | comment | added | Master | It is not even known that $NF$ is consistent, right? | |
| Aug 24, 2020 at 7:14 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |