The Chang-Łoś-Suszko theorem in a topological setting

Archive for Mathematical Logic 45 (1):97-112 (2006)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 94,726

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

53 (#298,372)

6 months
9 (#454,577)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Base-free formulas in the lattice-theoretic study of compacta.Paul Bankston - 2011 - Archive for Mathematical Logic 50 (5-6):531-542.

Add more citations

References found in this work

Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Existentially closed structures.H. Simmons - 1972 - Journal of Symbolic Logic 37 (2):293-310.
On ultracoproducts of compact hausdorff spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.
A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.

Add more references