Timeline for Theorems in set theory that use computability theory tools, and vice versa
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 27, 2023 at 23:24 | comment | added | 喻 良 | @AndreasBlass Thanks for pointing out the typos. | |
| Apr 27, 2023 at 23:23 | history | edited | 喻 良 | CC BY-SA 4.0 |
added 5 characters in body
|
| Apr 27, 2023 at 13:50 | comment | added | Andreas Blass | Your definition of $A_E$ doesn't mention $E$. The title of your paper with Merkel leads me to guess the you meant $\forall n\in E$ rather than $\forall n$. | |
| Apr 27, 2023 at 12:05 | history | answered | 喻 良 | CC BY-SA 4.0 |