Timeline for Does Łoś's theorem imply choice given a free ultrafilter?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Mar 11, 2017 at 4:56 | comment | added | Vladimir Kanovei | In fact Howard applied only a special form of BPI, sometimes called the ultrafilter lemma, which claims that any filter over any set can be extended to an ultrafilter. | |
| Dec 19, 2015 at 7:47 | comment | added | Wojowu | @AsafKaragila Thanks for the reply. I hoped that there would have been some "simple reduction" over these years which I just couldn't have find be searching. Feel free to post this as an answer. | |
| Dec 19, 2015 at 1:10 | comment | added | Asaf Karagila♦ | That's an incredibly tough question to answer. If the answer is at all positive, this would require a very different proof (since just a simple reduction to Howard's proof is likely to be caught in the many years since that paper was published); if the answer is negative, this would require coming up with brand new models in which LT's holds and the axiom of choice fails (because I don't know if we even know of such models except Blass' model without ultrafilters). | |
| Dec 18, 2015 at 21:50 | history | asked | Wojowu | CC BY-SA 3.0 |