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 that, given a cardinal $\kappa $, the following conditions are equivalent:

• • There exists a countable crowded space X such that $\mathsf {Exp}(X)=\kappa $.

• • $\mathfrak {p}\leq \kappa \leq \mathfrak {c}$.

$\mathfrak {d}\leq \kappa \leq \mathfrak {c}$

$2^\kappa $

$\kappa $

$\kappa $

$\mathsf {Exp}(X)$

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 Tukey quotient write $(X,\mathcal {K}(X)) \ge _T (Y,\mathcal {K}(Y))$, and write $(X,\mathcal {K}(X)) =_T (Y,\mathcal {K}(Y))$ if $(X,\mathcal {K}(X)) \ge _T (Y,\mathcal {K}(Y))$ and vice versa.

We investigate the initial structure of pairs $(X,\mathcal {K}(X))$ under the relative Tukey order, focussing on the case of separable metrizable spaces. Connections are made to Menger spaces.

Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group G has the countable chain condition if it is either $\sigma $-pseudocompact or for some separable metrizable M, we have $\mathcal {K}(M) \ge _T (G,\mathcal {K}(G))$.

This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor taking values in the category $\mathsf {GPC}$ of groups with a Polish cover (a category first introduced in this work’s predecessor), followed by (ii) a forgetful functor from $\mathsf {GPC}$ to the category of groups. These definable cohomology functors powerfully refine their classical counterparts: we show that they are complete invariants, for example, of the homotopy types of mapping telescopes of d-spheres or d-tori for any $d\geq 1$, and, in contrast, that there exist uncountable families of pairwise homotopy inequivalent mapping telescopes of either sort on which the classical cohomology functors are constant. We then apply the functors to show that a seminal problem in the development of algebraic topology – namely, Borsuk and Eilenberg’s 1936 problem of classifying, up to homotopy, the maps from a solenoid complement $S^3\backslash \Sigma $ to the $2$-sphere – is essentially hyperfinite but not smooth.

Fundamental to our analysis is the fact that the Čech cohomology functors admit two main formulations: a more combinatorial one and a more homotopical formulation as the group $[X,P]$ of homotopy classes of maps from X to a polyhedral $K(G,n)$ space P. We describe the Borel-definable content of each of these formulations and prove a definable version of Huber’s theorem reconciling the two. In the course of this work, we record definable versions of Urysohn’s Lemma and the simplicial approximation and homotopy extension theorems, along with a definable Milnor-type short exact sequence decomposition of the space $\mathrm {Map}(X,P)$ in terms of its subset of phantom maps; relatedly, we provide a topological characterization of this set for any locally compact Polish space X and polyhedron P. In aggregate, this work may be more broadly construed as laying foundations for the descriptive set theoretic study of the homotopy relation on such spaces $\mathrm {Map}(X,P)$, a relation which, together with the more combinatorial incarnation of , embodies a substantial variety of classification problems arising throughout mathematics. We show, in particular, that if P is a polyhedral H-group, then this relation is both Borel and idealistic. In consequence, $[X,P]$ falls in the category of definable groups, an extension of the category $\mathsf {GPC}$ introduced herein for its regularity properties, which facilitate several of the aforementioned computations.

For many years, there have been conducting research (e.g., by Bergelson, Furstenberg, Kojman, Kubiś, Shelah, Szeptycki, Weiss) into sequentially compact spaces that are, in a sense, topological counterparts of some combinatorial theorems, for instance, Ramsey’s theorem for coloring graphs, Hindman’s finite sums theorem, and van der Waerden’s arithmetical progressions theorem. These spaces are defined with the aid of different kinds of convergences: IP-convergence, R-convergence, and ordinary convergence.

The first aim of this paper is to present a unified approach to these various types of convergences and spaces. Then, using this unified approach, we prove some general theorems about existence of the considered spaces and show that all results obtained so far in this subject can be derived from our theorems.

The second aim of this paper is to obtain new results about the specific types of these spaces. For instance, we construct a Hausdorff Hindman space that is not an $\mathcal {I}_{1/n}$-space and a Hausdorff differentially compact space that is not Hindman. Moreover, we compare Ramsey spaces with other types of spaces. For instance, we construct a Ramsey space that is not Hindman and a Hindman space that is not Ramsey.

The last aim of this paper is to provide a characterization that shows when there exists a space of one considered type that is not of the other kind. This characterization is expressed in purely combinatorial manner with the aid of the so-called Katětov order that has been extensively examined for many years so far.

This paper may interest the general audience of mathematicians as the results we obtain are on the intersection of topology, combinatorics, set theory, and number theory.

If X is a topological space and Y is any set, then we call a family $\mathcal {F}$ of maps from X to Y nowhere constant if for every non-empty open set U in X there is $f \in \mathcal {F}$ with $|f[U]|> 1$, i.e., f is not constant on U. We prove the following result that improves several earlier results in the literature.

If X is a topological space for which $C(X)$, the family of all continuous maps of X to $\mathbb {R}$, is nowhere constant and X has a $\pi $-base consisting of connected sets then X is $\mathfrak {c}$-resolvable.

An old question of Arhangel’skii asks if the Menger property of a Tychonoff space X is preserved by homeomorphisms of the space $C_p(X)$ of continuous real-valued functions on X endowed with the pointwise topology. We provide affirmative answer in the case of linear homeomorphisms. To this end, we develop a method of studying invariants of linear homeomorphisms of function spaces $C_p(X)$ by looking at the way X is positioned in its (Čech–Stone) compactification.

Ultrafilters play a significant role in model theory to characterize logics having various compactness and interpolation properties. They also provide a general method to construct extensions of first-order logic having these properties. A main result of this paper is that every class $\Omega $ of uniform ultrafilters generates a $\Delta $-closed logic ${\mathcal {L}}_\Omega $. ${\mathcal {L}}_\Omega $ is $\omega $-relatively compact iff some $D\in \Omega $ fails to be $\omega _1$-complete iff ${\mathcal {L}}_\Omega $ does not contain the quantifier “there are uncountably many.” If $\Omega $ is a set, or if it contains a countably incomplete ultrafilter, then ${\mathcal {L}}_\Omega $ is not generated by Mostowski cardinality quantifiers. Assuming $\neg 0^\sharp $ or $\neg L^{\mu }$, if $D\in \Omega $ is a uniform ultrafilter over a regular cardinal $\nu $, then every family $\Psi $ of formulas in ${\mathcal {L}}_\Omega $ with $|\Phi |\leq \nu $ satisfies the compactness theorem. In particular, if $\Omega $ is a proper class of uniform ultrafilters over regular cardinals, ${\mathcal {L}}_\Omega $ is compact.

We introduce self-divisible ultrafilters, which we prove to be precisely those $w$ such that the weak congruence relation $\equiv _w$ introduced by Šobot is an equivalence relation on $\beta {\mathbb Z}$. We provide several examples and additional characterisations; notably we show that $w$ is self-divisible if and only if $\equiv _w$ coincides with the strong congruence relation $\mathrel {\equiv ^{\mathrm {s}}_{w}}$, if and only if the quotient $(\beta {\mathbb Z},\oplus )/\mathord {\mathrel {\equiv ^{\mathrm {s}}_{w}}}$ is a profinite group. We also construct an ultrafilter $w$ such that $\equiv _w$ fails to be symmetric, and describe the interaction between the aforementioned quotient and the profinite completion $\hat {{\mathbb Z}}$ of the integers.

We discuss the question of extending homeomorphisms between closed subsets of the Cantor cube $D^{\tau }$. It is established that any homeomorphism between two closed negligible subsets of $D^{\tau }$ can be extended to an autohomeomorphism of $D^{\tau }$.

We prove that for two connected sets $E,F\subset \mathbb {R}^2$ with cardinalities greater than $1$ , if one of E and F is compact and not a line segment, then the arithmetic sum $E+F$ has nonempty interior. This improves a recent result of Banakh et al. [‘The continuity of additive and convex functions which are upper bounded on non-flat continua in $\mathbb {R}^n$ ’, Topol. Methods Nonlinear Anal. 54(1)(2019), 247–256] in dimension two by relaxing their assumption that E and F are both compact.

We construct a nonseparable Banach space $\mathcal {X}$ (actually, of density continuum) such that any uncountable subset $\mathcal {Y}$ of the unit sphere of $\mathcal {X}$ contains uncountably many points distant by less than $1$ (in fact, by less then $1-\varepsilon $ for some $\varepsilon>0$). This solves in the negative the central problem of the search for a nonseparable version of Kottman’s theorem which so far has produced many deep positive results for special classes of Banach spaces and has related the global properties of the spaces to the distances between points of uncountable subsets of the unit sphere. The property of our space is strong enough to imply that it contains neither an uncountable Auerbach system nor an uncountable equilateral set. The space is a strictly convex renorming of the Johnson–Lindenstrauss space induced by an $\mathbb {R}$-embeddable almost disjoint family of subsets of $\mathbb {N}$. We also show that this special feature of the almost disjoint family is essential to obtain the above properties.

We examine a semigroup analogue of the Kumjian–Renault representation of C*-algebras with Cartan subalgebras on twisted groupoids. Specifically, we represent semigroups with distinguished normal subsemigroups as ‘slice-sections’ of groupoid bundles.

We introduce natural strengthenings of sequential compactness, the r-Ramsey property for each natural number $r\geq 1$ . We prove that metrizable compact spaces are r-Ramsey for all r and give examples of compact spaces that are r-Ramsey but not $(r+1)$ -Ramsey for each $r\geq 1$ (assuming Continuum Hypothesis (CH) for all $r>1$ ). Productivity of the r-Ramsey property is considered.

We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o-minimal structures on $(\mathbb {R},<)$ have the property, as do all expansions of $(\mathbb {R},+,\cdot ,\mathbb {N})$ . Our main analytic-geometric result is that any such expansion of $(\mathbb {R},<,+)$ by Boolean combinations of open sets (of any arities) either is o-minimal or defines an isomorph of $(\mathbb N,+,\cdot )$ . We also show that any given expansion of $(\mathbb {R}, <, +,\mathbb {N})$ by subsets of $\mathbb {N}^n$ (n allowed to vary) has the property if and only if it defines all arithmetic sets. Variations arise by considering connected components or quasicomponents instead of path components.

A $k_{\omega }$ -space X is a Hausdorff quotient of a locally compact, $\sigma $ -compact Hausdorff space. A theorem of Morita’s describes the structure of X when the quotient map is closed, but in 2010 a question of Arkhangel’skii’s highlighted the lack of a corresponding theorem for nonclosed quotient maps (even from subsets of $\mathbb {R}^n$ ). Arkhangel’skii’s specific question had in fact been answered by Siwiec in 1976, but a general structure theorem for $k_{\omega }$ -spaces is still lacking. We introduce pure quotient maps, extend Morita’s theorem to these, and use Fell’s topology to show that every quotient map can be “purified” (and thus every $k_{\omega }$ -space is the image of a pure quotient map). This clarifies the structure of arbitrary $k_{\omega }$ -spaces and gives a fuller answer to Arkhangel’skii’s question.

A subset of the Cantor cube is null-additive if its algebraic sum with any null set is null. We construct a set of cardinality continuum such that: all continuous images of the set into the Cantor cube are null-additive, it contains a homeomorphic copy of a set that is not null-additive, and it has the property $\unicode{x3b3} $ , a strong combinatorial covering property. We also construct a nontrivial subset of the Cantor cube with the property $\unicode{x3b3} $ that is not null additive. Set-theoretic assumptions used in our constructions are far milder than used earlier by Galvin–Miller and Bartoszyński–Recław, to obtain sets with analogous properties. We also consider products of Sierpiński sets in the context of combinatorial covering properties.

Let G be a locally compact group and let ${\mathcal {SUB}(G)}$ be the hyperspace of closed subgroups of G endowed with the Chabauty topology. The main purpose of this paper is to characterise the connectedness of the Chabauty space ${\mathcal {SUB}(G)}$ . More precisely, we show that if G is a connected pronilpotent group, then ${\mathcal {SUB}(G)}$ is connected if and only if G contains a closed subgroup topologically isomorphic to ${{\mathbb R}}$ .

We prove that the modal logic of a crowded locally compact generalized ordered space is $\textsf {S4}$ . This provides a version of the McKinsey–Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally compact generalized ordered space.

We continue the research of the relation $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ on the set $\beta \mathbb {N}$ of ultrafilters on $\mathbb {N}$ , defined as an extension of the divisibility relation. It is a quasiorder, so we see it as an order on the set of $=_{\sim }$ -equivalence classes, where $\mathcal {F}=_{\sim }\mathcal {G}$ means that $\mathcal {F}$ and $\mathcal {G}$ are mutually $\hspace {1mm}\widetilde {\mid }$ -divisible. Here we introduce a new tool: a relation of congruence modulo an ultrafilter. We first recall the congruence of ultrafilters modulo an integer and show that $=_{\sim }$ -equivalent ultrafilters do not necessarily have the same residue modulo $m\in \mathbb {N}$ . Then we generalize this relation to congruence modulo an ultrafilter in a natural way. After that, using iterated nonstandard extensions, we introduce a stronger relation, which has nicer properties with respect to addition and multiplication of ultrafilters. Finally, we introduce a strengthening of $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ and show that it also behaves well with respect to the congruence relation.

We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.