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

We investigate questions of maximal symmetry in Banach spaces and the structure of certain bounded non-unitarisable groups on Hilbert space. In particular, we provide structural information about bounded groups with an essentially unique…

We obtain the following characterization of Hilbert spaces. Let $E$ be a Banach space whose unit sphere $S$ has a hyperplane of symmetry. Then $E$ is a Hilbert space iff any of the following two conditions is fulfilled: a) the isometry…

The category $Ban$ of Banach spaces and linear maps of norm $\leq 1$ is locally $\aleph_1$-presentable but not locally finitely presentable. We prove, however, that $Ban$ is locally finitely presentable in the enriched sense over complete…

For each sequence X of finite-dimensional Banach spaces there exists a sequence H of finite connected nweighted graphs with maximum degree 3 such that the following conditions on a Banach space Y are equivalent: (1) Y admits uniformly…

First-order linear real arithmetic enriched with uninterpreted predicate symbols yields an interesting modeling language. However, satisfiability of such formulas is undecidable, even if we restrict the uninterpreted predicate symbols to…

We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…

We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our…

We collect several open questions in Banach spaces, mostly related to measure theoretic aspects of the theory. The problems are divided into five categories: miscellaneous problems in Banach spaces (non-separable $L^p$ spaces, compactness…

In this paper Hilbert spaces are characterized among Banach spaces in terms of transitivity with respect to nicely behaved subgroups of the isometry group. For example, the following result is typical here: If X is a real Banach space…

For a general discrete dynamics on a Banach and Hilbert spaces we give a necessary and sufficient conditions of the existence of bounded solutions under assumption that the homogeneous difference equation admits an exponential dichotomy on…

The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second…

We adapt the classical theory of local well-posedness of evolution problems to cases in which the nonlinearity can be accurately quantified by two different norms. For ordinary differential equations, we consider $\dot{x} = f(x,x)$ for a…

There has been a long-standing conjecture in Banach algebra that every amenable operator is similar to a normal operator. In this paper, we study the structure of amenable operators on Hilbert spaces. At first, we show that the conjecture…

We prove strong convergence theorems of some iterative algorithms in a real uniformly smooth Banach space. The results presented extend, generalize and improve the corresponding results recently announced by many authors.

In [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2) Is the first-order theory of the fundamental group of any…

We show that no matter what subset of a normed space is given, a typical 1-Lipschitz mapping into a Banach space is non-differentiable at a typical point of the set in a very strong sense: the derivative ratio approximates, on arbitrary…

Notion of frames and Bessel sequences for metric spaces have been introduced. This notion is related with the notion of Lipschitz free Banach spaces. \ It is proved that every separable metric space admits a metric $\mathcal{M}_d$-frame.…

In the paper is considered two problems on extension of operators whose range space for the first problem (or domain space for the second one) belongs to the fixed class of finite equivalence, which is generated by a given Banach space $X$.…

It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…