Open Research Index

The Cofinality of Generating Familes

Paul Gartside, Thomas Gilton

arXivarxiv/2602.02211Feb 2, 2026math.LOscore 0

The topology of a separable metrizable space $M$ is \emph{generated} by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq M$ is closed in $M$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. The \emph{sequentiality number}, $\mathop{seq}(M)$, and \emph{$k$-ness number}, $\mathop{k}(M)$, of $M$, are the minimum size of a generating family of convergent sequences, respectively compact subsets. Let $\mathfrak{b}$ be the minimum size of an unbounded set in $ω^ω$ with the mod finite order. For a cardinal $κ$, the \emph{covering number}, $\mathop{cov}(κ)$,…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.02211
curl -X POST /api/v1/records/arxiv/2602.02211/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.02211/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'