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

We prove that the spaces $\ell_p$, $1<p<\infty, p\ne 2$, and all infinite-dimensional subspaces of their quotient spaces do not admit equivalent almost transitive renormings. This is a step towards the solution of the Banach-Mazur rotation…

We study Lipschitz differentiability spaces, a class of metric measure spaces introduced by Cheeger. We show that if an Ahlfors regular Lipschitz differentiability space has charts of maximal dimension, then, at almost every point, all its…

We prove that if $ C $ is a family of separable Banach spaces which is analytic with respect to the Effros-Borel structure and none member of $ C $ is isometrically universal for all separable Banach spaces, then there exists a separable…

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

We prove that an infinitesimally Hilbertian CD(0,N) space containing a line splits as the product of $R$ and an infinitesimally Hilbertian CD(0,N-1) space. By `infinitesimally Hilbertian' we mean that the Sobolev space $W^{1,2}(X,d,m)$,…

We give an overview of normality and conormality properties of pre-ordered Banach spaces. For pre-ordered Banach spaces $X$ and $Y$ with closed cones we investigate normality of $B(X,Y)$ in terms of normality and conormality of the…

We answer, by counterexample, several open questions concerning algebras of operators on a Hilbert space. The answers add further weight to the thesis that, for many purposes, such algebras ought to be studied in the framework of operator…

In this paper, we begin by constructing global linear maps on (n-2)-dimensional subspaces, derived from the local continuity of linear transformations among central sections of a convex body. Using these linear maps, we subsequently…

Geodesic contraction in vector-valued differential equations is readily verified by linearized operators which are uniformly negative-definite in the Riemannian metric. In the infinite-dimensional setting, however, such analysis is…

We develop a framework for studying variational problems in Banach spaces with respect to gradient relations, which encompasses many of the notions of generalized gradients that appear in the literature. We stress the fact that our approach…

First-order temporal logics are notorious for their bad computational behaviour. It is known that even the two-variable monadic fragment is highly undecidable over various linear timelines, and over branching time even one-variable…

While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at most one free variable, are typically decidable. This only…

Let $\mathcal{B} (X)$ be the algebra of all bounded linear operators on an infinite-dimensional complex Banach space $X$. In this note, we show that a lemma used in the proof of the main result of [ Taghavi and Hosseinzadeh, linear and…

We exhibit abelian topological groups admitting no nontrivial strongly continuous irreducible representations in Banach spaces. Among them are some abelian Banach-Lie groups and some monothetic subgroups of the unitary group of a separable…

This work performs a study of the category of complete matrix-normed spaces, called matricial Banach spaces. Many of the usual constructions of Banach spaces extend in a natural way to matricial Banach spaces, including products, direct…

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any…

Given a map $f \colon E \longrightarrow F$ between Banach spaces (or Banach lattices), a set $A$ of $E$-valued bounded sequences, ${\bf x} \in A$ and a vector topology $\tau$ on $F$, we investigate the existence of an infinite dimensional…

A generalization of Lozanovskii's result is proved. Let E be $k$-dimensional subspace of an $n$-dimensional Banach space with unconditional basis. Then there exist $x_1,..,x_k \subset E$ such that $B_E \p \subset \p absconv\{x_1,..,x_k\}$…

We prove that the faithful and uniqueness of norm properties are stable in different product algebras such as direct-sum product algebra, convolution product algebra, and module product algebra. Further, we exhibit that these properties are…