Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-23T10:25:26.815Z Has data issue: false hasContentIssue false
  • English
  • Français

A hierarchy of maps between compacta

Published online by Cambridge University Press:  12 March 2014

Paul Bankston
Paul Bankston*
Affiliation:
Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisconsin 53201-1881, USA, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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 (K, L) 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 ≥ω a 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 co-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≥1(K,K) = Lev≥(K,K).

A space X ∈ K is co-existentially closed inK 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.

Keywords

ultraproductultracoproductcompactumcontinuumco-elementary mapco-existential mapmap of level ≥ α
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 64 , Issue 4 , December 1999 , pp. 1628 - 1644
Copyright
Copyright © Association for Symbolic Logic 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Banaschewski, B., More on compact Hausdorff spaces and finitary duality, Canadian Journal of Mathematics, vol. 36 (1984), pp. 1113–1118.CrossRefGoogle Scholar
[2]Bankston, P., Reduced coproducts of compact Hausdorff spaces, this Journal, vol. 52 (1987), pp. 404–424.Google Scholar
[3]Bankston, P., Model-theoretic characterizations of arcs and simple closed curves, Proceedings of the American Mathematical Society, vol. 104 (1988), pp. 898–904.CrossRefGoogle Scholar
[4]Bankston, P., Co-elementary equivalence for compact Hausdorff spaces and compact abelian groups, Journal of Pure and Applied Algebra, vol. 68 (1990), pp. 11–26.CrossRefGoogle Scholar
[5]Bankston, P., Taxonomies of model-theoretically defined topological properties, this Journal, vol. 55 (1990), pp. 589–603.Google Scholar
[6]Bankston, P., Co-elementary equivalence, co-elementary maps, and generalized arcs, Proceedings of the American Mathematical Society, vol. 125 (1997), pp. 3715–3720.CrossRefGoogle Scholar
[7]Bankston, P., On the topological model theory of normal disjunctive lattices, submitted.Google Scholar
[8]Bankston, P., Some applications of the ultrapower theorem to the theory of compacta, to appear in Applied Categorical Structures (special issue in honor of the 70th birthday of Bernhard Banaschewski).Google Scholar
[9]Chang, C. C. and Keisler, H. J., Model theory, third ed., North-Holland, Amsterdam, 1989.Google Scholar
[10]Dacunha-Castelle, D. and Krivine, J., Applications des ultraproduits à l'étude des espaces et des algèbres de Banach, Studia Mathematica, vol. 41 (1972), pp. 315–334.CrossRefGoogle Scholar
[11]Gurevič, R., On ultracoproducts of compact Hausdorff spaces, this Journal, vol. 53 (1988), pp. 294–300.Google Scholar
[12]Heinrich, S. and Henson, C. W., Model theory of Banach spaces, II: isomorphic equivalence, Mathematische Nachrichten, vol. 125 (1986), pp. 301–317.CrossRefGoogle Scholar
[13]Heinrich, S., Henson, C. W., and Moore, L. C. Jr., A note on elementary equivalence of C(κ) spaces, this Journal, vol. 52 (1987), pp. 368–373.Google Scholar
[14]Henson, C. W., Nonstandard hulls of Banach spaces, Israel Journal of Mathematics, vol. 25 (1976), pp. 108–144.CrossRefGoogle Scholar
[15]Henson, C. W., Nonstandard analysis and the theory of Banach spaces, Lecture Notes in Mathematics, no. 983, Springer-Verlag, Berlin, 1983.CrossRefGoogle Scholar
[16]Henson, C. W. and Iovino, J., Banach space model theory, I, lecture notes monograph, in preparation.Google Scholar
[17]Lewis, W., private communication.Google Scholar
[18]Nadler, S. B. Jr., Continuum theory, an introduction, Marcel Dekker, New York, 1992.Google Scholar
[19]Rosický, J., Categories of models, Seminarberichte Mathematik Informatik Fernuniversität, vol. 19 (1984), pp. 337–413.Google Scholar
[20]Shelah, S., Every two elementarily equivalent models have isomorphic ultrapowers, Israel Journal of Mathematics, vol. 10 (1971), pp. 224–233.CrossRefGoogle Scholar
[21]Simmons, G. F., Introduction to topology and modern analysis, McGraw-Hill, New York, 1963.Google Scholar
[22]Simmons, H., Existentially closed structures, this Journal, vol. 37 (1972), pp. 293–310.Google Scholar
[23]Wallman, H., Lattices and topological spaces, Annals of Mathematics, vol. 39 (1938), pp. 112–126.CrossRefGoogle Scholar
[24]Willard, S., General topology, Addison-Wesley, Reading, Massachusetts, 1970.Google Scholar
[25]Wilson, D. C., Open mappings of the universal curve onto continuous curves, Transactions of the American Mathematical Society, vol. 168 (1972), pp. 497–515.CrossRefGoogle Scholar