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

We study a relation between three different formulations of theorems on separable determination - one using the concept of rich families, second via the concept of suitable models and third, a new one, suggested in this paper, using the…

The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the…

Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…

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…

The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of…

The ordered structures of natural, integer, rational and real numbers are studied in this thesis. The theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order…

We augment the dimension of the Euclidean space by one and the Picard iteration of a contraction by a simple iteration on the real line such that the resulting iteration becomes monotone increasing and bounded with respect to the order…

The absolute logarithmic Weil height is well defined on the group of units of the algebraic closure of the rational numbers, modulo roots of unity, and induces a metric topology on this group. We show that the completion of this metric…

This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory and computability in analysis. Among other things it is shown…

Read produced the first example of a Banach space $E_{\text{R}}$ such that the associated Banach algebra $\mathscr{B}(E_{\text{R}})$ of bounded operators admits a discontinuous derivation (J. London Math. Soc. 1989). We generalise Read's…

In the nonlinear geometry of Banach spaces where the objects in the category are Banach spaces as in the linear case, the morphisms in the new setting are taken to comprise of certain nonlinear maps involving say, Lipschitz maps and, in…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

We characterize those classes $\ccc$ of separable Banach spaces admitting a separable universal space $Y$ (that is, a space $Y$ containing, up to isomorphism, all members of $\ccc$) which is not universal for all separable Banach spaces.…

The purpose of this paper is to give an illustration of results on integrability of distributions and orbits of vector fields on Banach manifolds obtained in [Pe] and [LaPe]. Using arguments and results of these papers, in the context of a…

Two generalizations of It\^o formula to infinite-dimensional spaces are given. The first one, in Hilbert spaces, extends the classical one by taking advantage of cancellations, when they occur in examples and it is applied to the case of a…

We consider ill-posed linear operator equations with operators acting between Banach spaces. For solution approximation, the methods of choice here are projection methods onto finite dimensional subspaces, thus extending existing results…

We study the computational difficulty of the problem of finding fixed points of nonexpansive mappings in uniformly convex Banach spaces. We show that the fixed point sets of computable nonexpansive self-maps of a nonempty, computably weakly…

We derive two fixed point theorems for a class of metric spaces that includes all Banach spaces and all complete Busemann spaces. We obtain our results by the use of a 1-Lipschitz barycenter construction and an existence result for…

This paper extends topics in linear algebra and operator theory for linear transformations on complex vector spaces to those on bicomplex Hilbert and Banach spaces. For example, Definition 3 for the first time defines a bicomplex vector…

Let $\Bc$ denote the real-valued functions continuous on the extended real line and vanishing at $-\infty$. Let $\Br$ denote the functions that are left continuous, have a right limit at each point and vanish at $-\infty$. Define $\acn$ to…