Related papers: Some new results on decidability for elementary al…
We introduce two ordinal indices that are linear invariants for Banach spaces: the dyadic tree index and the sprawling tree index. We show that they are also bi-Lipschitz invariants. In fact, we characterize their values in terms of…
We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…
Altenbernd, Thomas and W\"ohrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with usual acceptance conditions, such as the B\"uchi and Muller ones [1]. It was proved…
Let $E$ be a Banach space, and $\mathcal B(E)$ the algebra of all bounded linear operators on $E$. The question of amenability of $\mathcal B(E)$ goes back to Johnson's seminal memoir \cite{johnson} from 1972. We present the first general…
There are several characterizations of coarse embeddability of a discrete metric space into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces $L_p(\mu)$, we get…
We study Hilbert generated versions of nonseparable Banach spaces $\mathcal X$ considered by Shelah, Stepr\=ans and Wark where the behavior of the norm on nonseparable subsets is so irregular that it does not allow any linear bounded…
The first-order theory of addition over the natural numbers, known as Presburger arithmetic, is decidable in double exponential time. Adding an uninterpreted unary predicate to the language leads to an undecidable theory. We sharpen the…
We explore the norm attainment set and the minimum norm attainment set of a bounded linear operator between Hilbert spaces and Banach spaces. Indeed, we obtain a complete characterization of both the sets, separately for operators between…
Given a category of objects, it is both useful and important to know if all the objects in the category may be realised as sub-objects -- via morphisms in the given category -- of a single object in that category enjoying some nice…
The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability…
Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…
We survey the status of decidabilty of the consequence relation in various axiomatizations of Euclidean geometry. We draw attention to a widely overlooked result by Martin Ziegler from 1980, which proves Tarski's conjecture on the…
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…
We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive…
We will give an outline of the main results in our recent AMS Memoir, and include some new results, exposition and open problems. In that memoir we developed a general dilation theory for operator valued measures acting on Banach spaces…
The aim of this paper is to present two tools, Theorems 4 and 7, that make the task of finding equivalent polyhedral norms on certain Banach spaces easier and more transparent. The hypotheses of both tools are based on countable…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…
We modify the very well known theory of normed spaces $(E, \norm)$ within functional analysis by considering a sequence $(\norm_n : n\in\N)$ of norms, where $\norm_n$ is defined on the product space $E^n$ for each $n\in\N$. Our theory is…
Let $H$ be a Hilbert space that can be embedded as a dense subspace of a Banach space $X$ such that the norm of the embedding is equal to $1$. We consider the following statements for a nonzero vector $\varphi$ in $H$: (A) $\|\varphi\|_X =…
Let $E,F$ be exact operators (For example subspaces of the $C^*$-algebra $K(H)$ of all the compact operators on an infinite dimensional Hilbert space $H$). We study a class of bounded linear maps $u\colon E\to F^*$ which we call tracially…