Timeline for Stabilization of recursive approximation in $PA^-+I\Sigma_1^0$
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 26, 2014 at 5:28 | comment | added | Jing Zhang | @FrançoisG.Dorais: You are right. Obviously I left out some details thinking that some restriction could be relaxed. See my edit. | |
| Jan 26, 2014 at 5:27 | history | edited | Jing Zhang | CC BY-SA 3.0 |
added 444 characters in body
|
| Jan 26, 2014 at 1:57 | comment | added | François G. Dorais | Isn't every regular $\Delta^0_2$ set the unique branch through a $\Delta^0_2$-tree? | |
| Jan 25, 2014 at 22:36 | history | asked | Jing Zhang | CC BY-SA 3.0 |