Related papers: Some Separation Axioms in Topological Spaces
We study separating function sets. We find some necessary and sufficient conditions for $C_p(X)$ or $C_p^2(X)$ to have a point-separating subspace that is a metric space with certain nice properties. One of the corollaries to our discussion…
In this paper, we give an overview of spatially coupled turbo codes (SC-TCs), the spatial coupling of parallel and serially concatenated convolutional codes, recently introduced by the authors. For presentation purposes, we focus on…
The quasi-Lindel\"of property was first introduced by Arhangelski in \cite{Arc}, as a strengthening of the weakly Lindel\"of property. However, unlike Lindel\"of and weakly Lindel\"of spaces, very little is known about how quasi-Lindel\"of…
The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we…
A novel selection principle was introduced by Dorantes-Aldama and Shakhmatov: a topological space $X$ is termed {\em selectively pseudocompact} if for any sequence $(U_n:n\in {\omega})$ of pairwise disjoint non-empty open sets of $X$, one…
We study tightness properties and selective versions of separability in bitopological function spaces endowed with set-open topologies.
A C*-dynamical system is said to have the ideal separation property if every ideal in the corresponding crossed product arises from an invariant ideal in the C*-algebra. In this paper we characterize this property for unital C*-dynamical…
We identify fragments of the arithmetic $S_1$ that enjoy nice closure properties and have exact characterization of their definable multifunctions. To do this, in the language of $S_1$, $L_1$, starting from the formula classes,…
A well-defined notion of chemical compound space (CCS) is essential for gaining rigorous control of properties through variation of elemental composition and atomic configurations. Here, we review an atomistic first principles perspective…
For a compact Hausdorff space $X$, the space $SC(X\times X)$ of separately continuous complex valued functions on $X$ can be viewed as a $C^*$-subalgebra of $C(X)^{**}\overline\otimes C(X)^{**}$, namely those elements which slice into…
In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…
We investigate the connections between UC and UC* properties for ordered pairs of subsets (A,B) in metric spaces, which are involved in the study of existence and uniqueness of best proximity points. We show that the $UC^{*}$ property is…
This paper covers some recent progress in the study of sg-open sets, sg-compact spaces, N-scattered spaces and some related concepts. A subset $A$ of a topological space $(X,\tau)$ is called sg-closed if the semi-closure of $A$ is included…
We say that an inclusion of an algebra $A$ into a $C^*$-algebra $B$ has the ideal separation property if closed ideals in $B$ can be recovered by their intersection with $A$. Such inclusions have attractive properties from the point of view…
The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological spaces. An important property of LF spaces satisfying the axioms…
Pearl's d-separation is a foundational notion to study conditional independence between random variables. We define the topological conditional separation and we show that it is equivalent to the d-separation, extended beyond acyclic…
Generalizing the notion of a multiplicative unitary (in the sense of Baaj-Skandalis), which plays a fundamental role in the theory of locally compact quantum groups, we develop in this paper the notion of a multiplicative partial isometry.…
Within Bishop Set Theory, a reconstruction of Bishop's theory of sets, we study the so-called completely separated sets, that is sets equipped with a positive notion of an inequality, induced by a given set of real-valued functions. We…
Thanks to the locality principle, separation logics support modular, scalable analysis of large codebases by relying on local axioms and frame rules to focus only on the heap fragments required for verification. However, depending on the…
In this paper we define the concepts of $g.\Lambda_s$-sets and $g.V_s$-sets and we use them in order to obtain new characterizations of semi-T_1-, semi-R_0- and semi-T_{1/2}-spaces.