Timeline for Strengthening of Shoenfield's result on the recursive omega-rule
Current License: CC BY-SA 4.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 11, 2020 at 20:18 | history | answered | Fedor Pakhomov | CC BY-SA 4.0 |