Digital Commons Network^™

The Chang-Los-Suszko Theorem In A Topological Setting, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.