Related papers: Embedding topological spaces into Hausdorff $\kapp…

Any unital separable continuous C(X)-algebra with properly infinite fibres is properly infinite as soon as the compact Hausdorff space X has finite topolog-ical dimension. We study conditions under which this is still the case if the…

A first-order expansion of the $\mathbb{R}$-vector space structure on $\mathbb{R}$ does not define every compact subset of every $\mathbb{R}^n$ if and only if topological and Hausdorff dimension coincide on all closed definable sets.…

Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…

We study the Borel and analytic subsets of the spaces \({}^{\kappa}\kappa\) and \({}^{\kappa}2\) endowed with ideal topologies, where \(\kappa\) is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in…

We first prove that for all compact metrizable spaces, there exists a topological embedding of the compact metrizable space into each of the sets of compact metric spaces which are connected, path-connected, geodesic, or CAT(0), in the…

Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2,…

For a Urysohn space $X$ we define the regular diagonal degree $\overline{\Delta}(X)$ of $X$ to be the minimal infinite cardinal $\kappa$ such that $X$ has a regular $G_\kappa$-diagonal i.e. there is a family $(U_\eta:\eta<\kappa)$ of open…

We prove that every open subset of a euclidean building is a finite dimensional absolute neighborhood retract. This implies in particular that such a set has the homotopy type of a finite dimensional simplicial complex. We also include a…

In this paper, the class of all linearly ordered topological spaces (LOTS) quasi-ordered by the embeddability relation is investigated. In ZFC it is proved that for countable LOTS this quasi-order has both a maximal (universal) element and…

We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical…

Let M be a compact Sasakian manifold. We show that M admits a CR-embedding into a Sasakian manifold diffeomorphic to a sphere, and this embedding is compatible with the respective Reeb fields. We argue that a stronger embedding theorem…

Given any $\lambda\leq\kappa$, we construct a symmetric extension in which there is a set $X$ such that $\aleph(X)=\lambda$ and $\aleph^*(X)=\kappa$. Consequently, we show that $\mathsf{ZF}+$"For all pairs of infinite cardinals…

We study geodesically complete and locally compact Hadamard spaces X whose Tits boundary is a connected irreducible spherical building. We show that X is symmetric iff complete geodesics in X do not branch and a Euclidean building…

For every finite closure space $X$ one can define a finite topological space $\operatorname{Top} X$ together with a natural projection $\operatorname{Top} X\longrightarrow X$. This could allow to apply the techniques of topological…

Denote by $\mathcal{A}(\kappa)$ the set of all compact Alexandrov surfaces with curvature bounded below by $\kappa$ without boundary, endowed with the topology induced by the Gromov-Hausdorff metric. We determine the connected components of…

We introduce $\mathcal{B}_{\kappa}$-embeddings, nonlinear mathematical structures that connect, through smooth paths parameterized by $\kappa$, a finite or denumerable set of objects at $\kappa=0$ (e.g. numbers, functions, vectors,…

We study the relations between a generalization of pseudocompactness, named $(\kappa, M)$-pseudocompactness, the countably compactness of subspaces of $\beta \omega$ and the pseudocompactness of their hyperspaces. We show, by assuming the…

Let $\mathcal K$ be a complete quasivariety of completely regular universal topological algebras of continuous signature $\mathcal E$ (which means that $\mathcal K$ is closed under taking subalgebras, Cartesian products, and includes all…

Let $\kappa$,$\lambda$ be regular uncountable cardinals such that $\lambda > \kappa^+$ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with $s(\kappa) = \lambda$ starting from a ground model in…

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable…