David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 64 (4):1628-1644 (1999)
Let CH be the class of compacta (i.e., compact Hausdorff spaces), with BS the subclass of Boolean spaces. For each ordinal α and pair $\langle K,L\rangle$ of subclasses of CH, we define Lev ≥α K,L), the class of maps of level at least α from spaces in K to spaces in L, in such a way that, for finite α, Lev ≥α (BS,BS) consists of the Stone duals of Boolean lattice embeddings that preserve all prenex first-order formulas of quantifier rank α. Maps of level ≥ 0 are just the continuous surjections, and the maps of level ≥ 1 are the co-existential maps introduced in . Co-elementary maps are of level ≥α for all ordinals α; of course in the Boolean context, the co-elementary maps coincide with the maps of level ≥ω. The results of this paper include: (i) every map of level ≥ω is co-elementary; (ii) the limit maps of an ω-indexed inverse system of maps of level ≥α are also of level ≥α; and (iii) if K is a co-elementary class, k ≥ k (K,K) = Lev ≥ k+1 (K,K), then Lev ≥ k (K,K) = Lev ≥ω (K,K). A space X ∈ K is co-existentially closed in K if Lev ≥ 0 (K, X) = Lev ≥ 1 (K, X). Adapting the technique of "adding roots," by which one builds algebraically closed extensions of fields (and, more generally, existentially closed extensions of models of universal-existential theories), we showed in  that every infinite member of a co-inductive co-elementary class (such as CH itself, BS, or the class CON of continua) is a continuous image of a space of the same weight that is co-existentially closed in that class. We show here that every compactum that is co-existentially closed in CON (a co-existentially closed continuum) is both indecomposable and of covering dimension one
|Keywords||Ultraproduct Ultracoproduct Compactum Continuum Co-Elementary Map Co-Existential Map Map of Level $\geq\alpha$|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Murray Bell & Witold Marciszewski (2006). Universal Spaces for Classes of Scattered Eberlein Compact Spaces. Journal of Symbolic Logic 71 (3):1073 - 1080.
P. Ouwehand & H. Rose (1998). Filtral Powers of Structures. Journal of Symbolic Logic 63 (4):1239-1254.
Paul C. Eklof & Hans-Christian Mez (1987). Modules of Existentially Closed Algebras. Journal of Symbolic Logic 52 (1):54-63.
Brian A. Davey & John C. Galati (2003). A Coalgebraic View of Heyting Duality. Studia Logica 75 (3):259 - 270.
Paul Bankston (1990). Taxonomies of Model-Theoretically Defined Topological Properties. Journal of Symbolic Logic 55 (2):589-603.
Herbert H. J. Riedel (1988). Existentially Closed Algebras and Boolean Products. Journal of Symbolic Logic 53 (2):571-596.
William P. Hanf & Dale Myers (1983). Boolean Sentence Algebras: Isomorphism Constructions. Journal of Symbolic Logic 48 (2):329-338.
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2):243-276.
Hans Schoutens (1999). Existentially Closed Models of the Theory of Artinian Local Rings. Journal of Symbolic Logic 64 (2):825-845.
Added to index2009-01-28
Total downloads7 ( #192,450 of 1,099,863 )
Recent downloads (6 months)7 ( #40,663 of 1,099,863 )
How can I increase my downloads?