Document Type

Article

Language

eng

Format of Original

12 p.

Publication Date

6-2000

Publisher

Springer

Source Publication

Applied Categorical Structures

Source ISSN

0927-2852

Original Item ID

doi: 10.1023/A:1008668011406

Abstract

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.

Comments

Accepted version. Applied Categorical Structures, Vol. 8, No. 1/2 (June 2000): 45-66. DOI. © Springer 2000. Used with permission.

Share

COinS