Timeline for Real-closed fields minus existentials for Presburger-like power and multiplication?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 27, 2011 at 4:58 | answer | added | Sidney Raffer | timeline score: 2 | |
| Jan 27, 2011 at 4:26 | vote | accept | copumpkin | ||
| Jan 27, 2011 at 4:12 | answer | added | Joel David Hamkins | timeline score: 4 | |
| Jan 27, 2011 at 4:09 | history | edited | copumpkin | CC BY-SA 2.5 |
Meh, I can't make up my mind about the title
|
| Jan 27, 2011 at 3:58 | history | asked | copumpkin | CC BY-SA 2.5 |