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

Abstract
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
Keywords Co-elementary hierarchy  Co-existential mapping  Ultracopower  Ultracoproduct  Compactum  Continuum  Covering dimension  Multicoherence degree  Chang-Łoś-Suszko theorem
Categories (categorize this paper)
Reprint years 2006
DOI 10.1007/s00153-004-0238-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,581
Through your library

References found in this work BETA

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

Citations of this work BETA

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

Similar books and articles

A Hierarchy of Maps Between Compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
Power-Like Models of Set Theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Paraconsistent Logic and Model Theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.
Blunt and Topless End Extensions of Models of Set Theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
Pseudoprojective Strongly Minimal Sets Are Locally Projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Antibasis Theorems for {\ Pi^ 0_1} Classes and the Jump Hierarchy.Ahmet Çevik - 2013 - Archive for Mathematical Logic 52 (1-2):137-142.
On Ultracoproducts of Compact Hausdorff Spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.

Analytics

Added to PP index
2013-11-23

Total views
39 ( #280,849 of 2,461,424 )

Recent downloads (6 months)
1 ( #448,382 of 2,461,424 )

How can I increase my downloads?

Downloads

My notes