Related papers: Some new results on decidability for elementary al…
It is known that the theory of any class of normed spaces over the reals that includes all spaces of a given dimension d > 1 is undecidable, and indeed, admits a relative interpretation of second-order arithmetic. The notion of a normed…
We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…
We give a criterion ensuring that the elementary class of a modular Banach space E (that is, the class of Banach spaces, some ultrapower of which is linearly isometric to an ultrapower of E) consists of all direct sums E\oplus_m H, where H…
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers…
An AIA formula is one of the form 'A implies B' where A and B are purely universal. Up to a simple reduction AIA formula are both EA and AE. In an earlier paper Solovay, Harrison and I proved the undecidability of validity for the AIA…
We prove that Hilbert space is distortable and, in fact, arbitrarily distortable. This means that for all lambda >1 there exists an equivalent norm |.| on l_2 such that for all infinite dimensional subspaces Y of l_2 there exist x,y in Y…
In the literature surrounding the theory of Banach spaces, considerable effort has been invested in exploring the conditions on a Banach space X that characterise X as being an inner product space or as a linearly isomorphic copy of a…
As objects of study in functional analysis, Hilbert spaces stand out as special objects of study as do nuclear spaces in view of a rich geometrical structure they possess as Banach and Frechet spaces, respectively. On the other hand, there…
Using a technique of adjoining an order unit to a normed linear space, we have characterized strictly convex spaces among normed linear spaces and Hilbert spaces among strictly convex Banach spaces respectively. This leads to a…
This paper presents a solution to a problem from superanalysis about the existence of Hilbert-Banach superalgebras. Two main results are derived: 1) There exist Hilbert norms on some graded algebras (infinite-dimensional superalgebras…
The quotient shape types of normed vectorial spaces(over the same field) with respect to Banach spaces reduce to those of Banach spaces. The finite quotient shape type of normed spaces is an invariant of the (algebraic) dimension, but not…
In this note, we study the geometry of the unit ball of the Banach space generated by the adequate family of all subsets of branches of the infinite binary tree, and answer several open questions related to slicely countably determined…
Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed…
A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic…
In this paper we completely characterize the norm attainment set of a bounded linear operator on a Hilbert space. This partially answers a question raised recently in [\textit{D. Sain, On the norm attainment set of a bounded linear…
In this paper, we introduce the concept of biamenability of Banach algebras and we show that despite the apparent similarities between amenability and biamenability of Banach algebras, they lead to very different, and somewhat opposed,…
Geometric quantiles are location parameters which extend classical univariate quantiles to normed spaces (possibly infinite-dimensional) and which include the geometric median as a special case. The infinite-dimensional setting is highly…
We prove that a non ergodic Banach space must be near Hilbert. In particular, $\ell_p$ ($2<p<\infty$) is ergodic. This reinforces the conjecture that $\ell_2$ is the only non ergodic Banach space. As an application of our criterion for…
G\"ahler ([4],[5]) introduced and investigated the notion of 2-metric spaces and 2-normed spaces in sixties. These concepts are inspired by the notion of area in two dimensional Euclidean space. In this paper, we choose a fundamentally…
For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional…