Timeline for Does V=L imply transitive containment over, say, Z?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 8, 2014 at 11:51 | comment | added | François G. Dorais | Most formulations of $V = L$ make transitive containment redundant. Whether you use the Gödel $L_\alpha$, Jensen $J_\alpha$ or other hierarchies, these are transitive by design so formal statements for V = L, like $\forall x \exists \alpha (Ord(\alpha) \land x \in L_\alpha)$, immediately imply transitive containment. Transitive closure is a bit tricky but it often follows too. | |
| Jul 8, 2014 at 11:46 | comment | added | François G. Dorais | TCo is transitive containment, which is not exactly the same as transitive closure. You need something like powersets with bounded comprehension or $Pi_1$-comprehension to get the transitive closure from TCo. | |
| Jul 7, 2014 at 12:47 | comment | added | Colin McLarty | @EmilJeřábek Sure, or in other words I want to know if adding V=L to MAC makes Tco redundant. | |
| Jul 7, 2014 at 10:10 | comment | added | Emil Jeřábek | In Mathias's paper, MAC includes transitive closure by definition. Do you mean ZBQC? | |
| Jul 6, 2014 at 22:46 | answer | added | Corrado | timeline score: 1 | |
| Jul 6, 2014 at 2:29 | history | asked | Colin McLarty | CC BY-SA 3.0 |