Related papers: Effective Banach spaces
Recent developments in Banach space theory provided unexpected examples of unital Banach algebras that are isomorphic to Calkin algebras of Banach spaces, however no example of a unital Banach algebra that cannot be realised as a~Calkin…
We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. (T.1) A basic property of Cantor space $2^{\mathbb{N}}$…
We compare three notions of effectiveness on uncountable structures. The first notion is that of a $\real$-computable structure, based on a model of computation proposed by Blum, Shub, and Smale, which uses full-precision real arithmetic.…
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
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,…
In this paper, we study the descriptive complexity of some inevitable classes of Banach spaces. Precisely, as shown in [Go], every Banach space either contains a hereditarily indecomposable subspace or an unconditional basis, and, as shown…
We give an intrinsic characterisation of the separable reflexive Banach spaces that embed into separable reflexive spaces with an unconditional basis all of whose normalised block sequences with the same growth rate are equivalent. This…
A well-known result going back to the 1930s states that all bounded linear operators mapping scalar-valued $L^1$-spaces into $L^\infty$-spaces are kernel operators and that in fact this relation induces an isometric isomorphism between the…
We show that there is an operator space notion of Lipschitz embeddability between operator spaces which is strictly weaker than its linear counterpart but which is still strong enough to impose linear restrictions on operator space…
In this note we answer positively to two conjectures proposed by Nieraeth (2023) about the maximal operator on rescaled Banach function spaces. We also obtain a new criterion saying when the maximal operator bounded on a Banach function…
In this paper we present a recurrent relation for counting meaningful compositions of the higher-order differential operations on the space $R^{n}$ (n=3,4,...) and extract the non-trivial compositions of order higher than two.
This article is a continuation of a paper of the first author \cite{F} about complex structures on real Banach spaces. We define a notion of even infinite dimensional real Banach space, and prove that there exist even spaces, including HI…
We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by G\"odel and Kleene. We show that this class of functions can also be…
An infinite dimensional notion of asymptotic structure is considered. This notion is developed in terms of trees and branches on Banach spaces. Every countably infinite countably branching tree $\mathcal T$ of a certain type on a space X is…
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,…
If $X$ is a separable infinite dimensional Banach space, we construct a bounded and linear operator $R$ on $X$ such that $$ A_R=\{x \in X, \|R^tx\| \rightarrow \infty\} $$ is not dense and has non empty interior with the additional property…
We carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spaces, all formalised using a 2-sorted first-order language.…
Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric…
It is a longstanding problem whether every contractible Banach algebra is necessarily finite-dimensional. In this note, we confirm this for Banach algebras acting on Banach spaces with the uniform approximation property. This generalizes a…