Author	Comfort, W. Wistar. author
Title	The Theory of Ultrafilters [electronic resource] / by W. Wistar Comfort, Stylianos Negrepontis
Imprint	Berlin, Heidelberg : Springer Berlin Heidelberg, 1974
Connect to	http://dx.doi.org/10.1007/978-3-642-65780-1
Descript	X, 484 p. online resource

An ultrafilter is a truth-value assignment to the family of subsets of a set, and a method of convergence to infinity. From the first (logical) property arises its connection with two-valued logic and model theory; from the second (convergence) property arises its connection with topology and set theory. Both these descriptions of an ultrafilter are connected with compactness. The model-theoretic property finds its expression in the construction of the ultraproduct and the compactness type of theorem of Los (implying the compactness theorem of first-order logic); and the convergence property leads to the process of completion by the adjunction of an ideal element for every ultrafilter-i. e. , to the Stone-Cech comยญ pactification process (implying the Tychonoff theorem on the compactยญ ness of products). Since these are two ways of describing the same mathematical object, it is reasonable to expect that a study of ultrafilters from these points of view will yield results and methods which can be fruitfully crossbred. This unifying aspect is indeed what we have attempted to emphasize in the present work

ยง1. Set Theory -- Ordinals -- Cardinal Arithmetic -- Notes for ยง1 -- ยง 2. Topology and Boolean Algebras -- Topology -- Finitary Properties of Boolean Algebras -- Stoneโ{128}{153}s Duality -- The Completion of a Boolean Algebra and the Gleason Space of a Compact Space -- Notes for ยง2 -- ยง3. Intersection Systems and Families of Large Oscillation -- Intersection Systems and the Souslin Number -- Families of Large Oscillation -- Notes for ยง3 -- ยง 4. The General Theory of Jรถnsson Classes -- Notes for ยง4 -- ยง5. The Jรณnsson Class of Ordered Sets -- Notes for ยง5 -- ยง 6. The Jรณnsson Class of Boolean Algebras -- The Stone Space of the Homogeneous-Universal Boolean Algebras -- Properties of the Space S? -- Notes for ยง6 -- ยง 7. Basic Facts on Ultrafilters -- Notes for ยง7 -- ยง8. Large Cardinals -- Weakly Compact Cardinals: Combinatorial Equivalences -- Weakly Compact Cardinals: Boolean-Algebraic and Topological Equivalences -- Measurable Cardinals -- Descendingly Incomplete Ultrafilters -- Notes for ยง8 -- ยง 9. The Rudin-Keisler Order on Types of Ultrafilters -- The Rudin-Keisler Order -- Rudin-Keisler Minimal Types in ?[?(?)\?] -- Good Ultrafilters -- Notes for ยง9. -- ยง 10. Good Ultrafilters -- Families of Large Oscillation Modulo Filters; the Fundamental Existence Theorem of Good Ultrafilters -- Additional Existence Results -- Directedness Properties of the Rudin-Keisler Order -- Adequate Ultrafilters on Special Boolean Algebras -- Notes for ยง10 -- ยง 11. Elementary Types -- Notes for ยง11 -- ยง 12. Families of Almost Disjoint Sets -- Cardinalities of Families of Almost Disjoint Sets -- The Balcar-Vop?nka Theorem -- Cardinalities of Ultraproducts -- Notes for ยง 12 -- ยง13. Saturation of Ultraproducts -- Ultraproducts Modulo Regular Ultrafilters -- Ultraproducts Modulo Good Ultrafilters -- Shelahโ{128}{153}s Characterisation of Elementary Equivalence -- Characterisation of the Rudin-Keisler Order -- Notes for ยง13 -- ยง 14. Topology of Spaces of Ultrafilters -- Certain Properties of F?-Spaces -- The Space of ?-Uniform Ultrafilters on ? -- Spaces of Uniform Ultrafilters and Homogeneous-Universal Boolean Algebras -- The Space of Sub-Uniform Ultrafilters -- Relations to Measurable Cardinals -- Notes for ยง14 -- ยง15. Spaces Homeomorphic to (2?)? -- The Topological Characterization of (2?)? -- The Baire Category Properties of (2?)? -- Spaces of Ultrafilters Homeomorphic to Spaces (2?)? -- Applications to the Growth Spaces ?X\X -- Notes for ยง15 -- ยง 16. Ultrafilters on ? -- The Rudin-Keisler Order on ?(?) and the Canonical Function ?:?(? ร{151} ?) ? ?(?) ร{151} ?(?) -- The Rudin-Frolรญk Order -- Non-Homogeneity of Certain Spaces -- Notes for ยง16 -- Index of Symbols