{"id":"arxiv/2602.02211","url":"https://arxiv.org/abs/2602.02211","tags":["math.LO","math.GN"],"score":0,"title":"The Cofinality of Generating Familes","domain":"math.LO","source":"arxiv","authors":["Paul Gartside","Thomas Gilton"],"reviews":0,"subject":"math.LO","summary":"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}(κ)$,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-02","reactions":{}}