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 Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

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
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
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