Timeline for In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 21, 2014 at 18:44 | vote | accept | Mike Battaglia | ||
| Jan 21, 2014 at 17:40 | review | Close votes | |||
| Jan 21, 2014 at 23:51 | |||||
| Jan 21, 2014 at 17:00 | answer | added | Andreas Blass | timeline score: 8 | |
| Jan 21, 2014 at 7:50 | answer | added | Asaf Karagila♦ | timeline score: 5 | |
| Jan 21, 2014 at 7:19 | comment | added | Noah Schweber | Drat, Amit, you beat me! | |
| Jan 21, 2014 at 7:19 | answer | added | Noah Schweber | timeline score: 12 | |
| Jan 21, 2014 at 7:14 | comment | added | Amit Kumar Gupta | How about "the $<_L$-least non-principal ultrafilter on $\mathbb{N}$"? | |
| Jan 21, 2014 at 7:10 | history | edited | Mike Battaglia | CC BY-SA 3.0 |
fixed typo, clarified
|
| Jan 21, 2014 at 7:04 | history | asked | Mike Battaglia | CC BY-SA 3.0 |