Related papers: Separable determination in Banach spaces

In this paper we prove coincidence results concerning spaces of absolutely summing multilinear mappings between Banach spaces. The nature of these results arises from two distinct approaches: the coincidence of two \textit{a priori}…

Margin-based learning, exemplified by linear and kernel methods, is one of the few classical settings where generalization guarantees are independent of the number of parameters. This makes it a central case study in modern highly…

I introduce and study a new notion of Archimedeanity for binary and non-binary choice between options that live in an abstract Banach space, through a very general class of choice models, called sets of desirable option sets. In order to be…

We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, resp. pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive…

Warning: This paper contains a mistake, rendering the proof of the main theorem invalid. The logic of Bunched Implications (BI) combines both additive and multiplicative connectives, which include two primitive intuitionistic implications.…

We show that there exists a family of mutually singular doubling measures on Laakso space with respect to which real-valued Lipschitz functions are almost everywhere differentiable. This implies that there exists a measure zero universal…

A group G is representable in a Banach space X if G is isomorphic to the group of isometries on X in some equivalent norm. We prove that a countable group G is representable in a separable real Banach space X in several general cases,…

We study the problem of the existence of unconditional basic sequences in Banach spaces of high density. We show, in particular, the relative consistency with GCH of the statement that every Banach space of density $\aleph_\omega$ contains…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

In this paper, we unify the theory of SSD spaces and the theory of strongly representable sets, and we apply our results to the theory of the various classes of maximally monotone sets. In particular, we prove that type (ED), dense type,…

The aim of this paper is to introduce and investigate a new class of separable Banach spaces modeled after an example of Garling from 1968. For each $1\leqslant p<\infty$ and each nonincreasing weight $\textbf{w}\in c_0\setminus\ell_1$ we…

We consider the decidability and complexity of the Ultimate Positivity Problem, which asks whether all but finitely many terms of a given rational linear recurrence sequence (LRS) are positive. Using lower bounds in Diophantine…

This paper investigates the satisfiability problem for Separation Logic, with unrestricted nesting of separating conjunctions and implications, for prenex formulae with quantifier prefix in the language $\exists^*\forall^*$, in the cases…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and…

We introduce the class of slicely countably determined Banach spaces which contains in particular all spaces with the RNP and all spaces without copies of $\ell_1$. We present many examples and several properties of this class. We give some…

In this manuscript we characterize the completeness of a normed space through the strong lacunary (N-theta) and lacunary statistical convergence (S-theta) of series. A new characterization of weakly unconditionally Cauchy series through…

In various places in the literature it is stated that every separable linear order embeds into the real line. This is, however, not the case, at least not with respect to the usual definition of separability. We correct this misconception.

A group $\Gamma$ has separable cohomology if the profinite completion map $\iota \colon \Gamma \to \widehat{\Gamma}$ induces an isomorphism on cohomology with finite coefficient modules. In this article, cohomological separability is…

We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_d \rangle$, for various unary predicates $P_1,\ldots,P_d \subseteq \mathbb{N}$. We focus in particular on…