Timeline for Theorems in set theory that use computability theory tools, and vice versa
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 18, 2023 at 22:37 | history | edited | Peter Gerdes | CC BY-SA 4.0 |
added 265 characters in body
|
| Apr 18, 2023 at 22:24 | history | answered | Peter Gerdes | CC BY-SA 4.0 |