Dissipated Compacta

The dissipated spaces form a class of compacta which contains both the scattered compacta and the compact LOTSes (linearly ordered topological spaces), and a number of theorems true for these latter two classes are true more generally for the dissipated spaces. For example, every regular Borel measure on a dissipated space is separable. A product of two compact LOTSes is usually not dissipated, but it may satisfy a weakening of that property. In fact, the degree of dissipation of a space can be used to distinguish topologically a product of n LOTSes from a product of m LOTSes.Comment: 34 page

Some applications of the ultrapower theorem to the theory of compacta

The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn allows analogs of these (and related) notions to be transported into unusual settings, chiefly those of Banach spaces and of compacta. Our interest here is the enrichment of the theory of compacta, especially the theory of continua, brought about by the immigration of model-theoretic ideas and techniques

Some Applications of the Ultrapower Theorem to the Theory of Compacta

The ultrapower theorem of Keisler and Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn allows analogs of these (and related) notions to be transported into unusual settings, chiefly those of Banach spaces and of compacta. Our interest here is the enrichment of the theory of compacta, especially the theory of continua, brought about by the importation of model-theoretic ideas and techniques

Spectra of Tukey types of ultrafilters on Boolean algebras

Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(\omega)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval algebras, tree algebras, and pseudo-tree algebras.Comment: 18 page

A Hierarchy of Maps Between Compacta

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 \u3c ω 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 on