Related papers: The Cofinality of Generating Familes

The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space…

A topological group $G$ is topologically normally generated if there exists $g \in G$ such that the normal closure of $g$ is dense in $G$. Let $S$ be a tame, infinite type surface whose mapping class group $\mathrm{Map}(S)$ is generated by…

We show that if $\kappa \leq \omega$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<\kappa$ then there exists a topological group $G$ such…

For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $\phi:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a…

If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…

We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…

Denote by $\mathbf C_k[\mathfrak M]$ the $C_k$-stable closure of the class $\mathfrak M$ of all metrizable spaces, i.e., $\mathbf C_k[\mathfrak M]$ is the smallest class of topological spaces that contains $\mathfrak M$ and is closed under…

For a separable locally compact but not compact metrizable space $X$, let $\alpha X = X \cup \{x_\infty\}$ be the one-point compactification with the point at infinity $x_\infty$. We denote by $EM(X)$ the space consisting of admissible…

In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$. (II) There exists some $j\in \overline{Aut(M)}\setminus Aut(M)$, where…

A topological group $G$ is called an $M_\omega$-group if it admits a countable cover $\K$ by closed metrizable subspaces of $G$ such that a subset $U$ of $G$ is open in $G$ if and only if $U\cap K$ is open in $K$ for every $K\in\K$. It is…

A Hausdorff topological group G is minimal if every continuous isomorphism f : G --> H between G and a Hausdorff topological group H is open. Clearly, every compact Hausdorff group is minimal. It is well known that every infinite compact…

We characterize those (continuously-normed) Banach bundles $\mathcal{E}\to X$ with compact Hausdorff base whose spaces $\Gamma(\mathcal{E})$ of global continuous sections are topologically finitely-generated over the function algebra…

A family $\bfam$ of continuous real-valued functions on a space $X$ is said to be {\sl basic} if every $f \in C(X)$ can be represented $f = \sum_{i=1}^n g_i \circ \phi_i$ for some $\phi_i \in \bfam$ and $g_i \in C(\R)$ ($i=1, ..., n$).…

Let $\mathcal{F}$ be a set of finite groups. A finite group $G$ is called an \emph{$\mathcal{F}$-cover} if every group in $\mathcal{F}$ is isomorphic to a subgroup of $G$. An $\mathcal{F}$-cover is called \emph{minimal} if no proper…

Let ${\mathcal S}(\R)$ be an o-minimal structure over $\R$, $T \subset \R^{k_1+k_2+\ell}$ a closed definable set, and $$ \displaylines{\pi_1: \R^{k_1+k_2+\ell}\to \R^{k_1 + k_2}, \pi_2: \R^{k_1+k_2+\ell}\to \R^{\ell}, \ \pi_3: \R^{k_1 +…

Denote by $\mathbf C_p[\mathfrak M_0]$ the $C_p$-stable closure of the class $\mathfrak M_0$ of all separable metrizable spaces, i.e., $\mathbf C_p[\mathfrak M_0]$ is the smallest class of topological spaces that contains $\mathfrak M_0$…

All spaces are assumed to be Tychonoff. Given a realcompact space $X$, we denote by $\mathsf{Exp}(X)$ the smallest infinite cardinal $\kappa$ such that $X$ is homeomorphic to a closed subspace of $\mathbb{R}^\kappa$. Our main result shows…

A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…

The mapping class group of an orientable surface, which records its symmetries up to isotopy, plays a central role in low-dimensional topology. This chapter explores the foundational problem of determining minimal generating sets for these…

Consider a surface $S$ and let $M\subset S$. If $S\setminus M$ is not connected, then we say $M$ \emph{separates} $S$, and we refer to $M$ as a \emph{separating set} of $S$. If $M$ separates $S$, and no proper subset of $M$ separates $S$,…