The Shape Of Compact Covers

ZIQIN FENG,PAUL GARTSIDE
DOI: https://doi.org/10.1017/jsl.2024.53
2024-10-30
Journal of Symbolic Logic
Abstract:For a space X let be the set of compact subsets of X ordered by inclusion. A map is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a Tukey quotient write , and write if and vice versa. We investigate the initial structure of pairs under the relative Tukey order, focussing on the case of separable metrizable spaces. Connections are made to Menger spaces. Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group G has the countable chain condition if it is either -pseudocompact or for some separable metrizable M, we have .
mathematics,logic
What problem does this paper attempt to address?