Timeline for The Reverse Mathematics of writing a set as a union?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2011 at 1:52 | comment | added | Carl Mummert | @Francois: thanks for rewording the last paragraph. | |
| Jul 28, 2011 at 1:50 | comment | added | Carl Mummert | Also, in my opinion this is just a rephrasing of Ricky Demer's proof, and if you would like to accept an answer I would prefer if you did not accept this one. | |
| Jul 28, 2011 at 1:50 | comment | added | Carl Mummert | @William Chan: I added a brief statement of what the bounding principle says. These sorts of principles are more well known in the study of fragments of first-order arithmetic, but it shows up occasionally in the context of reverse math. | |
| Jul 28, 2011 at 1:49 | history | edited | Carl Mummert | CC BY-SA 3.0 |
added 100 characters in body
|
| Jul 27, 2011 at 22:36 | history | edited | François G. Dorais | CC BY-SA 3.0 |
fixed the conclusion
|
| Jul 27, 2011 at 22:07 | history | undeleted | Carl Mummert | ||
| Jul 27, 2011 at 22:05 | history | edited | Carl Mummert | CC BY-SA 3.0 |
added 96 characters in body; added 38 characters in body
|
| Jul 27, 2011 at 21:50 | history | deleted | Carl Mummert | ||
| Jul 27, 2011 at 21:49 | history | edited | Carl Mummert | CC BY-SA 3.0 |
added 82 characters in body
|
| Jul 27, 2011 at 21:32 | history | answered | Carl Mummert | CC BY-SA 3.0 |