Related papers: Rothberger bounded groups and Ramsey theory
Say that a cardinal number $\kappa$ is \emph{small} relative to the space $X$ if $\kappa <\Delta(X)$, where $\Delta(X)$ is the least cardinality of a non-empty open set in $X$. We prove that no Baire metric space can be covered by a small…
We give a characterizations of Ramsey ultrafilters on $\mathscr P(\omega)$ in terms of functions $f:\omega^n\to\omega$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[\omega]^n$ there is a…
Every topological group $G$ has some natural compactifications which can be a useful tool of studying $G$. We discuss the following constructions: (1) the greatest ambit $S(G)$ is the compactification corresponding to the algebra of all…
We prove that any topological group $G$ containing a subspace $X$ of the Sorgenfrey line has spread $s(G)\ge s(X\times X)$. Under OCA, each topological group containing an uncountable subspace of the Sorgenfrey line has uncountable spread.…
Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…
A group topology is said to be linear if open subgroups form a base of neighborhoods of the identity element. It is proved that the existence of a nondiscrete extremally disconnected group of Ulam nonmeasurable cardinality with linear…
We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…
The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on $\omega$: indiscrete, discrete, initial segment, final segment,…
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the…
Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Isometric actions of G on M are (by definition) points in the…
For a cardinal $\kappa$, denote by $\mathbf{H}^\kappa$ the algebraic real hyperbolic space of dimension $\kappa$. For a topological group $\Gamma$, we study the set of continuous representations $\Gamma \to…
In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions that homogenize colorings over…
A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…
A function $f:X\to Y$ between topological spaces is called $\sigma$-$continuous$ (resp. $\bar\sigma$-$continuous$) if there exists a (closed) cover $\{X_n\}_{n\in\omega}$ of $X$ such that for every $n\in\omega$ the restriction…
In this paper we study connections between topological games such as Rothberger, Menger and compact-open, and relate these games to properties involving covers by G_{\delta} subsets. The results include: (1) If Two has a winning strategy in…
A directed graph $R^{\circ}$ on a set $X$ is a set of ordered pairs of distinct points called \emph{arcs}. It is a tournament when every pair of distinct points is connected by an arc in one direction or the other (and not both). We can…
It is observed that the conjugacy growth series of the infinite finitary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed,…
In 1990, Comfort asked: is there, for every cardinal number $\alpha \leq 2^{\mathfrak{c}}$, a topological group $G$ such that $G^\gamma$ is countably compact for all cardinals $\gamma<\alpha$, but $G^\alpha$ is not countably compact? A…
Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different…
Given any strong orbit equivalence class of minimal Cantor systems and any cardinal number that is finite, countable, or the continuum, we show that there exists a minimal subshift within the given class whose number of asymptotic…