Related papers: Separable determination in Banach spaces

Given an infinite matrix $M=(m_{nk})$ we study a family of sequence spaces $\ell_M^p$ associated with it. When equipped with a suitable norm $\|\cdot\|_{M,p}$ we prove some basic properties of the Banach spaces of sequences…

There is proved the sufficiency of several conditions for the removability of singularities of complex-analytic sets in domains of $\mathbb C^n$.

It is shown that every normalized weakly null sequence of length $\kappa_{\lambda}$ in a Banach space has a subsequence of length $\lambda$ which is an unconditional basic sequence; here $\kappa_{\lambda}$ is a large cardinal depending on a…

The main goal of this paper is to improve the result of Ostrovskii (2012) on the finite determination of bilipschitz and coarse embeddability of locally finite metric spaces into Banach spaces. There are two directions of the improvement:…

Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…

We will introduce the countable separation property (CSP) of Banach spaces X, which is defined as follows: For each subset \mathcal{F} of X^{\ast}, which separates X, there exists a countable separating subset \mathcal{F}_{0} of…

We revise the analysis of the acoustic wave equation, addressing the question whether the classical well-posedness implies the existence of an isomorphism between prescribed solution and data spaces. This question is of interest for the…

For nonuniform exponentially bounded evolution families defined on Banach spaces, we introduce a class of Banach function spaces, whose norms are completely determined by the nonuniform behaviour of the corresponding evolution family. We…

We prove that positive solutions of the superlinear Lane-Emden system in a two-dimensional smooth bounded domain are bounded independently of the exponents in the system, provided the exponents are comparable. As a consequence, the energy…

We show that the problem whether every $1$-separably injective Banach space contains an isomorphic copy of $\ell_\infty$ is undecidable. Namely, unlike under the continuum hypothesis, assuming Martin's axiom and the negation of the…

We show that it is decidable whether two regular languages of infinite trees are separable by a deterministic language, resp., a game language. We consider two variants of separability, depending on whether the set of priorities of the…

We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Almeida on finite words, and of Place and Zeitoun on…

Here we consider a perturbation of continuous mappings on Banach spaces and investigate their image under various conditions. Consequently, we study the solvability of some classes of equations and inclusions. For these, we start by the…

We construct the generalized Lebesgue--Bochner spaces $L^p(\mu,\varPi)$ for positive measures $\mu$ and for suitable real or complex topological vector spaces $\varPi$ so that for $1<p<+\infty$ and Banachable $\varPi$ with separable…

For a large class of separable Banach spaces, we prove the real analytic Dolbeault Isomorphism Theorem for open subsets.

Let $A$ be an alphabet and $SP^\diamond(A)$ denote the class of all countable N-free partially ordered sets labeled by $A$, in which chains are scattered linear orderings and antichains are finite. We characterize the rational languages of…

In this paper we deal with two weaker forms of injectivity which turn out to have a rich structure behind: separable injectivity and universal separable injectivity. We show several structural and stability properties of these classes of…

In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over…

Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current…

We shall first study summability of families in normed spaces indexed with well ordered sets of real numbers extended by infinity. Obtained results and a generalized iteration method are applied to derive necessary and sufficient conditions…