Related papers: Illustrating an error in "An equivalent condition …
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,…
In his classical textbook on algebraic topology Edwin Spanier developed the theory of covering spaces within a more general framework of lifting spaces (i.e., Hurewicz fibrations with unique path-lifting property). Among other, Spanier…
Quasi-Polish spaces were introduced by de Brecht as a possibly non-Hausdorff generalization of Polish spaces sharing many of their descriptive set-theoretic properties. We give a self-contained exposition of the basic theory of quasi-Polish…
Leighton's Graph Covering Theorem states that if two finite graphs have the same universal covering tree, then they also have a common finite degree cover. Bass and Kulkarni gave an alternative proof of this fact using tree lattices. We…
We give conditions in order to approximate locally uniformly holomorphic covering mappings of the unit ball of $\mathbb{C}^n$ with respect to an arbitrary norm, with entire holomorphic covering mappings. The results rely on a generalization…
L-spaces were introduced by Ozsvath and Szabo using the Heegaard Floer Homology. In the quest for L-spaces we consider links of isolated complete intersection surface singularities. We show that if such a manifold is an L-space, then it is…
The concept of uniform tangent sets was introduced and discussed in [3 - Krastanov, Ribarska, SIAM J. Control Optim., 55(3), 2017]. This study is devoted to their further investigation and to generalization of the abstract Lagrange…
In this paper we study unimodular amenable groups. The first part is devoted to results on the existence of uniform families of epsilon-quasi tilings for these groups. In this context, constructions of Ornstein and Weiss are extended by…
The probabilistic type spaces in the sense of Harsanyi [Management Sci. 14 (1967/68) 159--182, 320--334, 486--502] are the prevalent models used to describe interactive uncertainty. In this paper we examine the existence of a universal type…
In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…
A subspace of the space, L(n), of traceless complex $n\times n$ matrices can be specified by requiring that the entries at some positions $(i,j)$ be zero. The set, $I$, of these positions is a (zero) pattern and the corresponding subspace…
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered…
In this paper we present a result concerning locally contractive maps defined on subsets of perfect Polish ultrametric spaces (i.e. separable complete ultrametric spaces). Specifically, we show that a perfect compact ultrametric space…
A new, simple and unified approach in the theory of contractive mappings was recently given by Samet \emph{et al.} (Nonlinear Anal. 75, 2012, 2154-2165) by using the concepts of $\alpha$-$\psi$-contractive type mappings and…
In [6] the notion of a g-cell structure was introduced as a generalization of the construction proposed by Debski and Tymchatyn to realize a certain class of topological spaces as quotient spaces of inverse limits. In [2], cell maps are…
Given a finite collection of probability measures defined on subsets of a measurable space, how can we determine if they are compatible, in the sense that they can be realized as conditional distributions of a single probability measure on…
The $L^p$-Brunn-Minkowski theory for $p\geq 1$, proposed by Firey and developed by Lutwak in the 90's, replaces the Minkowski addition of convex sets by its $L^p$ counterpart, in which the support functions are added in $L^p$-norm.…
In this paper, we introduce the notion of the universe, induced communities, and cells with their corresponding spots. Using this language, we formulate and prove the union close set conjecture by showing that for any finite universe…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
The concept of metastable convergence was identified by Tao;it allows converting theorems about convergence into stronger theorems about uniform convergence. The Uniform Metastability Principle (UMP) states that if $T$ is a theorem about…