The Theory of Ultrafilters [electronic 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.

Bibliographic Details

Main Authors:	Comfort, W. Wistar. author., Negrepontis, Stylianos. author., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1974
Subjects:	Mathematics., Topology.,
Online Access:	http://dx.doi.org/10.1007/978-3-642-65780-1
Tags:	Add Tag No Tags, Be the first to tag this record!