Timeline for Necessity of omega-models in second order arithmetic
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2014 at 23:39 | vote | accept | Ashutosh | ||
| May 18, 2014 at 10:54 | comment | added | Carl Mummert | I am not aware of any reverse math research in which the base theory includes true first-order arithmetic. But there is another point: the induction schemes in reverse mathematics all include set parameters. This is the case even for schemes like B$\Sigma^0_2$. Formulas of true first order arithmetic don't include set parameters. | |
| May 18, 2014 at 9:05 | comment | added | Lawrence Wong | @Ashutosh: The base theory in your example from Chong–Slaman–Yang does not seem to extend "true first order arithmetic", unless you mean something different from what I understand. Could you clarify a bit on what you mean by "true first order arithmetic", please? | |
| May 18, 2014 at 1:40 | history | edited | François G. Dorais |
edited tags
|
|
| May 18, 2014 at 1:13 | answer | added | Carl Mummert | timeline score: 7 | |
| May 18, 2014 at 0:55 | comment | added | Andrés E. Caicedo | Related. | |
| May 18, 2014 at 0:48 | history | asked | Ashutosh | CC BY-SA 3.0 |