Timeline for Can there exist a set of all transitive sets in a model of NF or NFU?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 25 at 8:15 | comment | added | Zuhair Al-Johar | @EmilJeřábek, the idea of the proof is that if we have that set then we can easily have a transitive closure for each set (since that would be stratified), then the set $\{x: x \notin TC(\{ \{y\} \mid y \in x\})\}$ would be paradoxical. Where $TC$ stand for the transitive closure operator. An unpublished proof of Boffa. | |
| Oct 24 at 18:44 | vote | accept | Zuhair Al-Johar | ||
| Oct 24 at 18:26 | comment | added | Emil Jeřábek | Could you perhaps add a sketch of the argument? Or is it too complicated? | |
| S Oct 24 at 18:08 | review | First answers | |||
| Oct 24 at 18:52 | |||||
| S Oct 24 at 18:08 | history | answered | Sumac | CC BY-SA 4.0 |