Timeline for Necessity of omega-models in second order arithmetic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2014 at 23:39 | vote | accept | Ashutosh | ||
| May 18, 2014 at 1:28 | comment | added | Ashutosh | Thanks a lot! Could you provide some references here? And maybe explain what $RT^{1}_{<\infty}$ stands for? Sorry for my ignornace. | |
| May 18, 2014 at 1:13 | history | answered | Carl Mummert | CC BY-SA 3.0 |