Related papers: On open well-filtered spaces

{Generalizing the notion of nil cleanness from \cite{D13}, in parallel to \cite{DM14}, we define the concept of {\it weak nil cleanness} for an arbitrary ring. Its comprehensive study in different ways is provided as well. A decomposition…

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…

This paper deals with properties of filtrations on vector spaces indexed by partially ordered finitely generated abelian groups, which we call multifiltrations. We discuss the usual properties of filtrations, like exhaustivity and…

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strenghtening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under ${\mathfrak c} = {\mathfrak d}$. This…

We find the complete rational homology for the finite subset spaces of a $d$-dimensional sphere. We also determine the integral homology in top $d$ degrees and obtain a partial description of it in codimension $d$.

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…

We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…

We introduce the classes of (strongly) ($\Theta$-)discrete homogeneous spaces. We discuss the relationships of these classes to other classes of spaces possessing homogeneity-related properties, such as (strongly) ($n$-)homogeneous spaces.…

A famous result of Kostant states that the universal enveloping algebra of a semisimple complex Lie algebra is a free module over its center. We prove an analogue of this result for a class of filtered algebras and apply it to show the…

We study metric spaces that admit a conical bicombing and thus obey a weak form of non-positive curvature. Prime examples of such spaces are injective metric spaces. In this article we give a complete characterization of complete metric…

Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…

It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal…

Under suitably nice conditions, given a coalgebra object in a tensor category we compute the layers of its coradical (socle) filtration.

Metrizable spaces are studied in which every closed set is an $\alpha$-limit set for some continuous map and some point. It is shown that this property is enjoyed by every space containing sufficiently many arcs (formalized in the notion of…

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…

The class $\mathfrak C $ relative to countably compact topological spaces and the class $\mathfrak P$ relative to pseudocompact spaces introduced by Z. Frol\'ik are naturally generalized relative to every topological property. We provide a…

We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear…

The aim of this paper is twofold. Firstly, we give easy-to-handle criteria to determine whether a given family of subsets of a vector space is a neighbourhood basis of the origin for a complete vector topology. Then, we apply these criteria…

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $B$ be a Borel subgroup of $G$, and $U$ its unipotent radical. We prove that if $S=\Sym V$ has…