Timeline for $\omega$-models of $\mathbf{\Sigma^1_1}-DC$ and $\mathbf{\Delta^1_1}-CA$
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 13, 2013 at 1:05 | history | edited | Andrés E. Caicedo | CC BY-SA 3.0 |
added 4 characters in body
|
| Jan 12, 2013 at 14:41 | comment | added | 喻 良 | Check mathoverflow.net/questions/118706/… . It might be helpful for you. | |
| Jan 12, 2013 at 9:41 | history | edited | Goldstern | CC BY-SA 3.0 |
textit -> _..._
|
| Jan 12, 2013 at 4:31 | history | asked | Peter Gerdes | CC BY-SA 3.0 |