Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

A Hierarchy of Maps between Compacta

Paul Bankston
The Journal of Symbolic Logic
Vol. 64, No. 4 (Dec., 1999), pp. 1628-1644
DOI: 10.2307/2586802
Stable URL: http://www.jstor.org/stable/2586802
Page Count: 17
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
A Hierarchy of Maps between Compacta
Preview not available

Abstract

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 [8]. 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 < ω and Lev≥ 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 [8] 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.

Page Thumbnails

  • Thumbnail: Page 
1628
    1628
  • Thumbnail: Page 
1629
    1629
  • Thumbnail: Page 
1630
    1630
  • Thumbnail: Page 
1631
    1631
  • Thumbnail: Page 
1632
    1632
  • Thumbnail: Page 
1633
    1633
  • Thumbnail: Page 
1634
    1634
  • Thumbnail: Page 
1635
    1635
  • Thumbnail: Page 
1636
    1636
  • Thumbnail: Page 
1637
    1637
  • Thumbnail: Page 
1638
    1638
  • Thumbnail: Page 
1639
    1639
  • Thumbnail: Page 
1640
    1640
  • Thumbnail: Page 
1641
    1641
  • Thumbnail: Page 
1642
    1642
  • Thumbnail: Page 
1643
    1643
  • Thumbnail: Page 
1644
    1644