Timeline for Uncountable family of infinite subsets with pairwise finite intersections
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2012 at 23:14 | comment | added | Andrej Bauer | Your answer is constructive after a minor cleanup, see my answer for a transcription into "proper" constructive math. | |
| Feb 24, 2012 at 6:09 | vote | accept | MTS | ||
| Feb 23, 2012 at 18:47 | history | answered | Todd Eisworth | CC BY-SA 3.0 |