Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Entire DC Network
The Chang-Los-Suszko Theorem In A Topological Setting, Paul Bankston
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.