Related papers: Almost separable spaces

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…

Recall that a Hausdorff space $X$ is said to be Namioka if for every compact (Hausdorff) space $Y$ and every metric space $Z$, every separately continuous function $f:X\times{Y}\rightarrow{Z}$ is continuous on $D\times{Y}$ for some dense…

A cuf space (set, resp.) is a space (set, resp.) which is a countable union of finite subspaces (subsets, resp.). It is proved in $\mathbf{ZF}$ (with the absence of the axiom of choice) that all countable unions of cuf (denumerable, resp.)…

The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets.…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use model theoretic techniques and games to show that separation…

Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hru\v{s}\'ak and…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

We introduce and develop the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary…

We introduce an unconditional concept of almost squareness in order to provide a partial negative answer to the problem of existence of any dual almost square Banach space. We also take advantage of this notion to provide some criterion of…

There are several ideal boundaries and completions in General Relativity sharing the topological property of being sequential, i.e., determined by the convergence of its sequences and, so, by some limit operator $L$. As emphasized in a…

We consider quasiconformal deformations of $\mathbb{C}\setminus\mathbb{Z}$. We give some criteria for infinitely often punctured planes to be quasiconformally equivalent to $\mathbb{C}\setminus\mathbb{Z}$. In particular, we characterize the…

We explore approximate categoricity in the context of distortion systems, introduced in our previous paper, which are a mild generalization of perturbation systems, introduced by Ben Yaacov. We extend Ben Yaacov's Ryll-Nardzewski style…

We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

We study almost square Banach spaces under a topological point of view. Indeed, we prove that the class of Banach spaces which admits an equivalent norm to be ASQ is that of those Banach spaces which contain an isomorphic copy of $c_0$. We…

In this paper, we introduce the concept of quasi-point-separable topological vector spaces, which has the following important properties: 1.In general, the conditions for a topological vector space to be quasi-point-separable is not very…

In this survey we present the relatively new concept of \emph{approximable triangulated categories.} We will show that the definition is natural, that it leads to powerful new results, and that it throws new light on old, familiar objects.…

We give a classification of semisimple and separable algebras in a multi-fusion category over an arbitrary field in analogy to Wedderben-Artin theorem in classical algebras. It turns out that, if the multi-fusion category admits a…

We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $\Pi^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space…