Timeline for Kleene-fixpoint, transfinite recursion or sui generis?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 8, 2021 at 23:01 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
Corrected statement of theorem
|
| Sep 8, 2021 at 17:03 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
Question:
|
| Sep 8, 2021 at 11:23 | history | edited | LSpice | CC BY-SA 4.0 |
Deleted stray TeX
|
| Sep 8, 2021 at 8:33 | history | asked | Frode Alfson Bjørdal | CC BY-SA 4.0 |