Related papers: A complete classification of the zero-dimensional …

Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is…

Border bases are traditionally restricted to 0-dimensional ideals due to the finiteness of the underlying order ideal. In this paper we extend the theory to homogeneous ideals of positive Krull dimension by introducing homogeneous border…

We derive a new sufficient condition for the existence of {\omega}-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubi\v{c}ka and Ne\v{s}et\v{r}il.…

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many…

This paper presents a study of separation axioms and sobriety of bitopological spaces from the point of view of fuzzy topology via identifying bitopological spaces with topological spaces valued in the Boolean algebra of four elements. A…

We propose a definition of magnitude for a length space with a Borel measure, which involves integrals over the set of geodesics. This quantity agrees with the magnitude of finite metric spaces, up to re-scaling the metric to ensure the…

We study homogeneity aspects of metric spaces in which all triples of distinct points admit pairwise different distances; such spaces are called isosceles-free. In particular, we characterize all homogeneous isosceles-free spaces up to…

We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…

We find necessary and sufficient conditions on a family $\mathcal{R} = (r_i)_{i \in I}$ in a Boolean algebra $\mathcal{B}$ under which there exists a unique positive probability measure $\mu$ on $\mathcal{B}$ such that $\mu (…

Let $\Lambda$ be a finite-dimensional basic algebra over an algebraically closed field $k$. The well-known Drozd's theorem asserts, that $\Lambda$ is either tame or wild. The Crawley-Boevey's Theorem states that for a given tame algebra…

We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…

We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case.…

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain…

We investigate the $\mathcal F$-Borel complexity of topological spaces in their different compactifcations. We provide a simple proof of the fact that a space can have arbitrarily many different complexities in different compactifications.…

For a finite set of homogeneous locally nilpotent derivations of the algebra of polynomials in several variables, a finite dimensionality criterion for the Lie algebra generated by these derivations is known. Also the structure of the…

For a metrizable space, we consider the space of all metrics generating the same topology of the metrizable space, and this space of metrics is equipped with the supremum metric. In this paper, for every metrizable space, we establish that…

This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the…

Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…