Timeline for What is the reverse mathematics of first-order logic and propositional logic?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 16, 2010 at 15:12 | vote | accept | CommunityBot | ||
| May 16, 2010 at 12:26 | answer | added | Carl Mummert | timeline score: 12 | |
| May 16, 2010 at 12:17 | answer | added | Joel David Hamkins | timeline score: 4 | |
| May 16, 2010 at 11:03 | answer | added | Lucas K. | timeline score: 2 | |
| May 16, 2010 at 10:36 | comment | added | user2529 | I'm trying to find the best linear approximation :) | |
| May 16, 2010 at 10:29 | comment | added | Harry Gindi | This all sounds rather circular... | |
| May 16, 2010 at 9:56 | history | asked | user2529 | CC BY-SA 2.5 |