This work presents an overview of several different methods for construct- ing ultrafilters. The first part contains constructions not needing additional assumptions beyond the usual axioms of Set Theory. K. Kunen's method using independent systems for constructing weak P-points is presented. This is followed by a presentation of its application in topology (the proof of the existence of sixteen topological types due to J. van Mill). Finally a new con- struction due to the author is presented together with a proof of his result, the existence of a seventeenth topological type: ω∗ contains a point which is discretely untouchable, is a limit point of a countable set and the countable sets having it as its limit point form a filter. The second part looks at constructions which use additional combina- torial axioms and/or forcing. J. Ketonen's construction of a P-point and A. R. D. Mathias's construction of a Q-point are presented in the first two sections. The next sections concentrate on strong P-points introduced by C. Laflamme. The first of these contains a proof of a new characterization theorem due jointly to the author, A. Blass and M. Hrušák: An ultrafilter is Canjar if and only if it is a strong P-point. A new proof of Canjar's the- orem on the existence of non-dominating filters (Canjar filters) which uses...
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:311369 |
| Date | January 2011 |
| Creators | Verner, Jonathan |
| Contributors | Simon, Petr, Zapletal, Jindřich, Thümmel, Egbert |
| Source Sets | Czech ETDs |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/doctoralThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0023 seconds