Timeline for Propositions equivalent to the completeness of the real numbers
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2011 at 11:17 | comment | added | Kaveh | I deleted my answer since these theories still satisfy "base systems that are at once weaker and stronger than what I have in mind: Konig's infinity lemma isn't provable in all of them, but the Intermediate Value Theorem is." | |
| Jul 26, 2011 at 19:41 | history | edited | Kaveh | CC BY-SA 3.0 |
added 166 characters in body; added 4 characters in body; added 31 characters in body; added 4 characters in body
|
| Jul 26, 2011 at 19:39 | history | undeleted | Kaveh | ||
| Jul 16, 2011 at 6:40 | history | deleted | François G. Dorais | ||
| Jul 16, 2011 at 6:40 | comment | added | François G. Dorais | This is a good answer, Kaveh. You should undelete it. There is also interesting work of Phuong Nguyen and Stephen Cook in this area that might be useful. | |
| Jul 16, 2011 at 6:38 | history | undeleted | François G. Dorais | ||
| Jul 15, 2011 at 18:51 | history | deleted | Kaveh | ||
| Jul 15, 2011 at 15:37 | history | edited | Kaveh | CC BY-SA 3.0 |
added 573 characters in body; deleted 21 characters in body
|
| Jul 15, 2011 at 15:30 | history | answered | Kaveh | CC BY-SA 3.0 |