Timeline for Strictly descending sequences of sets, the Partition Principle, and the Boolean Prime Ideal Theorem
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2021 at 15:52 | comment | added | Dominic van der Zypen | Thanks Asaf for writing this (very nice) answer despite not liking my question too much. I agree it certainly does not belong to my better questions here on MO (and I have my share of very bad questions.) | |
| Jul 14, 2021 at 15:50 | vote | accept | Dominic van der Zypen | ||
| Jul 14, 2021 at 14:26 | history | edited | Asaf Karagila♦ | CC BY-SA 4.0 |
added 182 characters in body
|
| Jul 14, 2021 at 13:58 | history | edited | Andreas Blass | CC BY-SA 4.0 |
fixed a typo
|
| Jul 14, 2021 at 12:11 | history | edited | Asaf Karagila♦ | CC BY-SA 4.0 |
added 773 characters in body
|
| Jul 14, 2021 at 11:51 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |