Related papers: On open well-filtered spaces

A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…

We use the n-globe with its skeletal filtration to define the fundamental globular omega--groupoid of a filtered space; the proofs use an analogous fundamental cubical omega--groupoid due to the author and Philip Higgins. This method also…

A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…

A space $X$ is strongly $Y$-selective (resp., $Y$-selective) if every lower semicontinuous mapping from $Y$ to the nonempty subsets (resp., nonempty closed subsets) of $X$ has a continuous selection. We also call $X$ (strongly)…

In this paper we study the property of separability of functional space with the open-point and bi-point-open topologies.

We show that every complete metric space is homeomorphic to the precise locus of zeros of an entire analytic map from a Hilbert space to a Banach space. As a corollary, every complete separable metric space is homeomorphic to the precise…

We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…

Various forms of sorting problems have been studied over the years. Recently, two kinds of sorting puzzle apps are popularized. In these puzzles, we are given a set of bins filled with colored units, balls or water, and some empty bins.…

We show that if a context-free grammar generates a language whose lexicographic ordering is well-ordered of type less than $\omega^2$, then its order type is effectively computable.

A $k_\omega$-space $X$ is a Hausdorff quotient of a locally compact, $\sigma$-compact Hausdorff space. A theorem of Morita's describes the structure of $X$ when the quotient map is closed, but in 2010 a question of Arkhangel'skii's…

An $E_0$-semigroup of $B(H)$ is a one parameter strongly continuous semigroup of $*$-endomorphisms of $B(H)$ that preserve the identity. Every $E_0$-semigroup that possesses a strongly continuous intertwining semigroup of isometries is…

We introduce a new family of shift spaces --- the subordinate shifts. Using subordinate shifts we prove in an elementary way that for every nonnegative real number $t$ there is a shift space with entropy $t$.

We say that a topological space X is selectively sequentially pseudocompact (SSP for short) if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in U_n for every n in such a way that the sequence (x_n) has…

This study explores in-depth the structure and properties of the so-called {\it strongly $\Delta$-clean rings}, that is a novel class of rings in which each ring element decomposes into a sum of a commuting idempotent and an element from…

The notion of soft sets is introduced as a general mathematical tool for dealing with uncertainty. In this paper, we consider the concepts of soft compactness, countably soft compactness and obtain some results. We study some soft…

A symmetric tensor, which has a symmetric nonnegative decomposition, is called a completely positive tensor. We consider the completely positive tensor decomposition problem. A semidefinite algorithm is presented for checking whether a…

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…

A pure topological characterization of primitive ideal spaces of separable nuclear C*-algebras is given. We show that a $T_0$-space $X$ is a primitive ideal space of a separable nuclear C*-algebra $A$ if and only if $X$ is point-complete…

We give infinite triangularization and strict triangularization results for algebras of operators on infinite dimensional vector spaces. We introduce a class of algebras we call Ore-solvable algebras: these are similar to iterated Ore…