Timeline for An ultrafilter is a set of subsets containing exactly one element of each finite partition: reference request
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 4, 2011 at 17:54 | comment | added | Greg Graviton | @Tom Leinster. Ah, yes. I've changed it to the more apparent version. | |
| Jul 4, 2011 at 17:54 | history | edited | Greg Graviton | CC BY-SA 3.0 |
booleans
|
| Jul 4, 2011 at 14:44 | comment | added | Tom Leinster | Thanks, Greg. To save others wondering: by Bool you mean a two-element set {true, false}, if I'm not mistaken. (My first guess was that you meant the category of Boolean algebras.) | |
| Jul 4, 2011 at 14:06 | history | answered | Greg Graviton | CC BY-SA 3.0 |