Timeline for Complexity of $L[\mathrm{cf}]$
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 16, 2019 at 11:45 | review | Close votes | |||
| Apr 16, 2019 at 17:25 | |||||
| Sep 15, 2017 at 8:23 | history | edited | Dmytro Taranovsky | CC BY-SA 3.0 |
added more details in the proof
|
| Sep 15, 2017 at 6:43 | answer | added | Ralf Schindler | timeline score: 5 | |
| Aug 28, 2017 at 2:29 | history | edited | Dmytro Taranovsky | CC BY-SA 3.0 |
minor fix in the cofinality equivalence
|
| Aug 28, 2017 at 0:47 | history | asked | Dmytro Taranovsky | CC BY-SA 3.0 |