Format of Original
Applied Categorical Structures
Original Item ID
The ultrapower theorem of Keisler and Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn allows analogs of these (and related) notions to be transported into unusual settings, chiefly those of Banach spaces and of compacta. Our interest here is the enrichment of the theory of compacta, especially the theory of continua, brought about by the importation of model-theoretic ideas and techniques.
Bankston, Paul, "Some Applications of the Ultrapower Theorem to the Theory of Compacta" (2000). Mathematics, Statistics and Computer Science Faculty Research and Publications. 139.