Related papers: Effective Banach spaces

We introduce the operators "modified limit" and "accumulation" on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable…

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…

We study the notion of recurrence and some of its variations for linear operators acting on Banach spaces. We characterize recurrence for several classes of linear operators such as weighted shifts, composition operators and multiplication…

This survey paper examines the effective model theory obtained with the BSS model of real number computation. It treats the following topics: computable ordinals, satisfaction of computable infinitary formulas, forcing as a construction…

Resolvents of quasi-linear operators and operator algebras in Banach spaces over the quaternion field are investigated. Spectral theory of unbounded nonlinear operators in quaternion Banach spaces is studied. Strongly continuous semigroups…

While the classic separable quotient problem remains open, we survey general results related to this problem and examine the existence of a particular infinitedimensional separable quotient in some Banach spaces of vector-valued functions,…

Computability on uncountable sets has no standard formalization, unlike that on countable sets, which is given by Turing machines. Some of the approaches to define computability in these sets rely on order-theoretic structures to translate…

We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(\kappa)$, for $\kappa$…

We give a necessary and sufficient condition for amenability of the Banach algebra of approximable operators on a Banach space. We further investigate the relationship between amenability of this algebra and factorization of operators,…

We study properties of the topological space of composition operators on the Banach algebra of bounded functions on an unbounded, locally finite metric space in the operator norm topology and essential norm topology. Moreover, we…

We give examples of real Banach spaces with exactly infinite countably many complex structures and with $\omega_1$ many complex structures.

Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…

In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…

In this paper we develop a functional calculus for bounded operators defined on quaternionic Banach spaces. This calculus is based on the notion of slice-regularity, see \cite{gs}, and the key tools are a new resolvent operator and a new…

One of the fundamental results in computability is the existence of well-defined functions that cannot be computed. In this paper we study the effects of data representation on computability; we show that, while for each possible way of…

Given a Banach space $E$, we ask which closed subspaces may be realised as the kernel of a bounded operator $E \rightarrow E$. We prove some positive results which imply in particular that when $E$ is separable every closed subspace is a…

Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…

Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approaches to define computability in these sets, order-theoretic…

This paper is a sequel to [6]. In that paper we transferred the discussions in [1] and [13] concerning almost invariant half-spaces for operators on complex Banach spaces to the context of operators on Hilbert space, and we gave easier…

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…