Related papers: Bornologies and filters in selection principles on…

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology.…

A two-point selection on a set $X$ is a function $f:[X]^2 \to X$ such that $f(F) \in F$ for every $F \in [X]^2$. It is known that every two-point selection $f:[X]^2 \to X$ induced a topology $\tau_f$ on $X$ by using the relation: $x \leq y$…

Orderability, weak orderability and the existence of continuous weak selections on filter spaces (i.e., spaces with a single non-isolated point) and their products are discussed. We prove that a closed continuous image X of a suborderable…

In the present paper we identify those filtered probability spaces $(\Omega,\, \mathcal{F},\, \left(\mathcal{F}_n\right),\, \mathbb{P})$ that determine already the martingale type of a Banach space $X$. We isolate intrinsic conditions on…

Let X be a smooth, projective variety over the field of complex numbers. On the space H of its rational cohomology of degree i we have the arithmetic filtration F^p. On the other hand, on the space of cohomology of degree i of X with…

Assume that X is a metrizable separable space, and each clopen-valued lower semicontinuous multivalued map Phi from X to Q has a continuous selection. Our main result is that in this case, X is a sigma-space. We also derive a partial…

B-systems are algebras (models) of an essentially algebraic theory that is expected to be constructively equivalent to the essentially algebraic theory of C-systems which is, in turn, constructively equivalent to the theory of contextual…

We continue to investigate applications of $k$-covers in function spaces with the compact-open topology.

The natural duality between "topological" and "regular," both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space. Taking advantage…

Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either $c_0$ or some $\ell^p$. J. Iovino and P. Casazza gave an affirmative answer for first-order…

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…

We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…

We discuss conditions under which certain compactifications of topological spaces can be obtained by composing the ultrafilter space monad with suitable reflectors. In particular, we show that these compactifications inherit their…

This article is a continuation of our investigations in the function space $C(X)$ with respect to the topology $\tau^s_\mathfrak{B}$ of strong uniform convergence on $\mathfrak{B}$ in line of (Chandra et al. 2020 \cite{dcpdsd} and Das et…

Based on the concepts of $\mathbb{R}$-factorizable topological groups and $\mathcal{M}$-factorizable topological groups, we introduce four classes of factorizabilities on topological groups, named $P\mathcal{M}$-factorizabilities,…

We present a general method to extend results on Hilbert space operators to the Banach space setting by representing certain sets of Banach space operators $\Gamma$ on a Hilbert space. Our assumption on $\Gamma$ is expressed in terms of…

We develop a method for generating causal post-hoc explanations of black-box classifiers based on a learned low-dimensional representation of the data. The explanation is causal in the sense that changing learned latent factors produces a…

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

We discuss the question of finding conditions on a derived equivalence between two smooth projective varieties $X$ and $Y$ that imply that $X$ and $Y$ are birational. The types of conditions we consider are in the spirit of finding…