Timeline for Supremum of infimum of measure of members of a free ultrafilter
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2023 at 22:19 | comment | added | KP Hart | Or: every ultrafilter contains, for every $n$, a set of density $\frac1n$: just Take $X(n,i)=\{k:k\equiv i\pmod n\}$ for $n\in\mathbb{N}$, and $i\in\{1,2,\ldots,n\}$. If $u$ is an ultrafilter then for every $n$ there is an $i$ such that $X(n,i)\in u$. | |
| Nov 25, 2022 at 21:28 | vote | accept | Dominic van der Zypen | ||
| Nov 24, 2022 at 17:52 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 3 characters in body
|
| Nov 24, 2022 at 17:40 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 12 characters in body
|
| Nov 24, 2022 at 17:34 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 69 characters in body
|
| Nov 24, 2022 at 17:24 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |