Related papers: Intrinsic characterizations of $C$-realcompact spa…

The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…

In the present article we introduce and study a class of topological reflection spaces that we call Kac-Moody symmetric spaces. These generalize Riemannian symmetric spaces of non-compact type. We observe that in a non-spherical Kac-Moody…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

Lattice discretizations of continuous manifolds are common tools used in a variety of physical contexts. Conventional discrete approximations, however, cannot capture all aspects of the original manifold, notably its topology. In this paper…

Metric spaces satisfying properties stronger than completeness and weaker than compactness have been studied by many authors over the years. One such significant family is that of cofinally complete metric spaces. We discuss the…

We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…

A space $X$ is called $CCS$-normal space if there exist a normal space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_C:C\mapsto f(C)$ is homeomorphism for any cellular-compact subset $C$ of $X$. We discuss about the relations…

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

Given an irreducible non-spherical non-affine (possibly non-proper) building $X$, we give sufficient conditions for a group $G < \Aut(X)$ to admit an infinite-dimensional space of non-trivial quasi-morphisms. The result applies to all…

In this paper, we consider certain topological properties along with certain types of mappings on these spaces defined by the notion of ideal convergence. In order to do that, we primarily follow in the footsteps of the earlier studies of…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

For any ideal $\mathcal{P}$ of closed sets in $X$, let $C_\mathcal{P}(X)$ be the family of those functions in $C(X)$ whose support lie on $\mathcal{P}$. Further let $C^\mathcal{P}_\infty(X)$ contain precisely those functions $f$ in $C(X)$…

We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less…

To give characterizations of monotonically countably paracompact spaces with set-valued maps, Yamazaki [22] introduced the notion of strictly increasing closed cover of a topological space with which the boundedness of a set-valued map was…

Let $X$ be a metric space and $BCl(X)$ the collection of nonempty bounded closed subsets of $X$ as a metric space with respect to Hausdorff distance. We study both characterization and representation of Lipschitz paths in $BCl(X)$ in terms…

We introduce a novel commutative C*-algebra $C_\mathcal{R}(X)$ of functions on a symplectic vector space $(X,\sigma)$ admitting a complex structure, along with a strict deformation quantization that maps a dense subalgebra of…

For a completely regular space $X$, denote by $C_p(X)$ the space of continuous real-valued functions on $X$, with the pointwise convergence topology. In this article we strengthen a theorem of O. Okunev concerning preservation of some…

We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we…