Related papers: An equivalent condition for a uniform space to be …
Suppose given a commutative quadrangle in a Verdier triangulated category such that there exists an induced isomorphism on the horizontally taken cones. Suppose that the endomorphism ring of the initial or the terminal corner object of this…
An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we…
It is stated a series of criteria of equicontinuity and normality for classes of space mappings with integral restrictions. It is shown that the found conditions are not only sufficient but also necessary. It is given applications to…
Simple argument in favour of unitarity, to all orders, of space-like noncommutative theory is given.
We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…
In a projective space we fix some set of points, a horizon, and investigate the complement of that horizon. We prove, under some assumptions on the size of lines, that the ambient projective space, together with its horizon, both can be…
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…
We show that for a nonnegative monotone sequence $\{c_k\}$ the condition $c_kk\to 0$ is sufficient for uniform convergence of the series $\sum_{k=1}^{\infty}c_k\sin k^{\alpha} x$ on any bounded set for $\alpha\in (0,2)$, and for an odd…
A mechanical linkage is a mechanism made of rigid rods linked together by flexible joints, in which some vertices are fixed and others may move. The partial configuration space of a linkage is the set of all the possible positions of a…
This note contains a newly streamlined version of the original proof that Outer space is contractible.
A uniform Roe corona is the quotient of the uniform Roe algebra of a metric space by the ideal of compact operators. Among other results, we show that it is consistent with ZFC that isomorphism between uniform Roe coronas implies coarse…
We give simple conditions on an ambient manifold that are necessary and sufficient for isoperimetric inequalities (for submanifolds) to hold.
The problem of neutral fermions subject to an inversely linear potential is revisited. It is shown that an infinite set of bound-state solutions can be found on the condition that the fermion is embedded in an additional uniform background…
Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…
In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an…
We study three covering problems in the plane. Our original motivation for these problems come from trajectory analysis. The first is to decide whether a given set of line segments can be covered by up to four unit-sized, axis-parallel…
A coloration w of Z^2 is said to be coverable if there exists a rectangular block q such that w is covered with occurrences of q, possibly overlapping. In this case, q is a cover of w. A subshift is said to have the cover q if each of its…