Timeline for Connections between ultrafilters in topology and logic
Current License: CC BY-SA 2.5
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2014 at 19:25 | answer | added | Seirios | timeline score: 2 | |
| Jun 22, 2010 at 20:32 | history | edited | Charles Matthews | CC BY-SA 2.5 |
downcase
|
| Jun 1, 2010 at 13:11 | comment | added | David Carchedi | Thanks very much for all the answers! I'm avoiding accepting an answer as the question can clearly have multitude of "correct" answers. | |
| May 28, 2010 at 1:24 | answer | added | The Mathemagician | timeline score: 4 | |
| May 27, 2010 at 21:43 | answer | added | Andrés E. Caicedo | timeline score: 14 | |
| May 27, 2010 at 21:14 | answer | added | Simon Thomas | timeline score: 6 | |
| May 27, 2010 at 17:56 | comment | added | François G. Dorais | This is very closely related to this question - mathoverflow.net/questions/11261/… | |
| May 27, 2010 at 15:26 | answer | added | Roberto Frigerio | timeline score: 12 | |
| May 27, 2010 at 13:03 | answer | added | Todd Trimble | timeline score: 12 | |
| May 27, 2010 at 12:40 | comment | added | David Corfield | Here are two very good pieces of exposition on ultrafilters: topologicalmusings.wordpress.com/2008/07/18/… and terrytao.wordpress.com/2007/06/25/… | |
| May 27, 2010 at 11:37 | answer | added | supercooldave | timeline score: 4 | |
| May 27, 2010 at 10:38 | comment | added | Andrej Bauer | Ultrafilters are also used in forcing in set theory, with the same effect as in the construction of ultraproducts, namely a quotient by an ultrafilter collapses a complete Boolean algebra to the Boolean algebra $\lbrace 0,1 \rbrace$. | |
| May 27, 2010 at 10:26 | answer | added | Charles Matthews | timeline score: 5 | |
| May 27, 2010 at 10:02 | history | asked | David Carchedi | CC BY-SA 2.5 |