Timeline for Theorems in set theory that use computability theory tools, and vice versa
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 19, 2023 at 14:02 | vote | accept | Clement Yung | ||
| Apr 18, 2023 at 23:00 | history | edited | François G. Dorais | CC BY-SA 4.0 |
fixed typos
|
| Apr 18, 2023 at 18:05 | comment | added | cody | Is there any hope that the analogy becomes precise in some constructive set theory? | |
| Apr 18, 2023 at 12:27 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
Several more examples.
|
| Apr 18, 2023 at 3:14 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
Fixed the decorations on Fraïssé
|
| Apr 18, 2023 at 2:52 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 110 characters in body
|
| Apr 18, 2023 at 2:37 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 229 characters in body
|
| Apr 18, 2023 at 2:28 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 448 characters in body
|
| Apr 18, 2023 at 2:16 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |