Countable compactness in powers of topological groups and Ramsey theoretic variations of compactness
Countable compactness need not be preserved by finite products. Motivated by compactness notions for maps indexed by finite subsets of $ω$, we introduce cascade countable compactness for arbitrary barriers. For $\mathcal B=[ω]^2$, this is the previously studied notion of being doubly countably compact. We show that, in ZFC, if $G$ is a Hausdorff topological group and $1\leq k<ω$, then $k$-cascade countable compactness of $G$ implies that $G^k$ is countably compact. Cascade countable compactness for the Schreier barrier implies that $G^ω$ is countably compact. In contrast, we construct a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.08943
curl -X POST /api/v1/records/arxiv/2608.08943/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.08943/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'