Timeline for Symmetric Proof that Product is Well-Founded
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2010 at 17:32 | vote | accept | Henry Towsner | ||
| Nov 11, 2010 at 16:47 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Oct 7, 2010 at 19:59 | comment | added | Henry Towsner | KP Hart: You're right, it should be. | |
| Oct 7, 2010 at 19:58 | history | edited | Henry Towsner | CC BY-SA 2.5 |
Corrected well-ordered to well-founded
|
| Oct 7, 2010 at 12:41 | comment | added | KP Hart |
Shouldn't well-ordered' be well-founded' throughout? (In my book `well-ordered' implies linearly ordered because, in particular, every two-element sets has a minimum.)
|
|
| Oct 6, 2010 at 21:18 | history | edited | François G. Dorais | CC BY-SA 2.5 |
fixed latex
|
| Oct 6, 2010 at 21:15 | history | asked | Henry Towsner | CC BY-SA 2.5 |