Related papers: Some new results on decidability for elementary al…

The main result of the paper: Given any $\varepsilon>0$, every locally finite subset of $\ell_2$ admits a $(1+\varepsilon)$-bilipschitz embedding into an arbitrary infinite-dimensional Banach space. The result is based on two results which…

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these…

The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are…

This paper provides an overview of interpolation of Banach and Hilbert spaces, with a focus on establishing when equivalence of norms is in fact equality of norms in the key results of the theory. (In brief, our conclusion for the Hilbert…

Motivated by the local theory of Banach spaces we introduce a notion of finite representability for metric spaces. This allows us to develop a new technique for comparing the generalized roundness of metric spaces. We illustrate this…

In 1972, the late B. E. Johnson introduced the notion of an amenable Banach algebra and asked whether the Banach algebra $B(E)$ of all bounded linear operators on a Banach space $E$ could ever be amenable if $\dim E = \infty$. Somewhat…

Motivated by a seminal paper of professor M. Z. Nashed published in 1987 on classification of ill-posed linear operator equations and distinguishing two types of ill-posedness in Banach and Hilbert spaces, we present, illustrate and justify…

We study the complexities of isometry and isomorphism classes of separable Banach spaces in the Polish spaces of Banach spaces recently introduced and investigated by the authors in [14]. We obtain sharp results concerning the most…

We introduce the class of slicely countably determined Banach spaces which contains in particular all spaces with the RNP and all spaces without copies of $\ell_1$. We present many examples and several properties of this class. We give some…

The main purposes of this paper are (1) To survey the area of coarse embeddability of metric spaces into Banach spaces, and, in particular, coarse embeddability of different Banach spaces into each other; (2) To present new results on the…

Let $E$ be the Banach space constructed by Read (J. London Math. Soc. 1989) such that the Banach algebra $\mathscr{B}(E)$ of bounded operators on $E$ admits a discontinuous derivation. We show that $\mathscr{B}(E)$ has a singular,…

Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_\alpha\}_{\alpha\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1)…

In this paper, we extend the Banach contraction principle to metric-like as well as partial metric spaces (not essentially complete) equipped with an arbitrary binary relation. Thereafter, we derive some fixed point results which are…

We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some…

We show that there exists a Banach space $E$ with the following properties: the Banach algebra $\mathscr{B}(E)$ of bounded, linear operators on $E$ has a singular extension which splits algebraically, but it does not split strongly, and the…

In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed…

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

The purpose of this note is to show that, if $\mcB$ is a uniformly convex Banach, then the dual space $\mcB'$ has a "Hilbert space representation" (defined in the paper), that makes $\mcB$ much closer to a Hilbert space then previously…

We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_d \rangle$, for various unary predicates $P_1,\ldots,P_d \subseteq \mathbb{N}$. We focus in particular on…