Timeline for Well-foundedness: classical equivalence of no infinite descent and accessibility
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 18, 2022 at 16:30 | comment | added | Josh | Just to point out, dependent choice is strictly weaker than full AC (addressing the "weakest" part of the question). | |
| Mar 18, 2022 at 10:29 | comment | added | Théo Winterhalter | If I could I would have accepted this answer too. Thank you very much. | |
| Mar 17, 2022 at 23:15 | comment | added | Christopher Hughes | Thanks, I made the edit | |
| Mar 17, 2022 at 23:15 | history | edited | Christopher Hughes | CC BY-SA 4.0 |
change x to y
|
| Mar 17, 2022 at 22:45 | comment | added | James Wood |
I think “y such that ¬ acc r x” should be “y such that ¬ acc r y”, but edits must be 6 characters, so I can't make the change.
|
|
| S Mar 17, 2022 at 22:10 | review | First answers | |||
| Mar 17, 2022 at 23:34 | |||||
| S Mar 17, 2022 at 22:10 | history | answered | Christopher Hughes | CC BY-SA 4.0 |