Timeline for Can different extensions of ZF have contradictory consequences for first-order arithmetic?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 15, 2013 at 2:38 | comment | added | Andrés E. Caicedo | I don't think you should. This is an interesting and valuable observation, and illustrates a subtlety of the question. | |
| Aug 15, 2013 at 2:11 | comment | added | Noah Schweber | @Andres: you're right, I didn't read the question carefully enough. If the OP says I should, I'll delete this answer. | |
| Aug 15, 2013 at 2:00 | comment | added | Andrés E. Caicedo | In fact, it is clear that they are not. | |
| Aug 14, 2013 at 19:48 | history | answered | Noah Schweber | CC BY-SA 3.0 |