Timeline for How "strong" is the existence of a non trivial ultrafilter on $\omega$?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Mar 22, 2017 at 2:41 | comment | added | Vladimir Kanovei | (continuation) Sometimes it takes some effort though to properly figure out the generic affiliation, as I did with the qualiification of ultrafilters as choice functions of certain kind. | |
| Mar 22, 2017 at 2:40 | comment | added | Vladimir Kanovei | You apparently don't like your own description of ML as "a drawing, which just happened to have some extra properties" (wording: "some associated artistic and social ideas" would be more adequate as ML is not a scientific term). So I took the liberty to permute the terms, expecting maybe you would like it better. But generally there is an old practice, well-rooted in human culture, to begin a description of something with a generic part and end with a special part (like: homo sapiens, painting known as ML, et cetera). | |
| Mar 21, 2017 at 21:38 | comment | added | Asaf Karagila♦ | I'm sorry... I don't understand your comment. | |
| Mar 21, 2017 at 21:30 | comment | added | Vladimir Kanovei | You mean that ML has some extra properties and oh by the way it happens to be a drawing somewhere? | |
| Mar 19, 2017 at 21:43 | comment | added | Asaf Karagila♦ | Sure, you could say that. But the important part is not the actual choice, but rather the fact that you have coherence between the choices. Saying that an ultrafilter is a choice function is like saying that the Mona Lisa is a drawing, which just happened to have some extra properties. Sure, it's technically correct, but it also sort of misses the point. | |
| Mar 19, 2017 at 21:41 | comment | added | Vladimir Kanovei | Utlrafilter itself is a choice function of some sort, namely choice of an element within each pair of complementary sets. (And this choice function has to satisfy a couple of extra properties.) | |
| Dec 29, 2016 at 14:21 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |