Related papers: On Unconditionality and Higher-Order Schreier Unco…
For a conditional quasi-greedy basis $\mathcal{B}$ in a Banach space the associated conditionality constants $k_{m}[\mathcal{B}]$ verify the estimate $k_{m}[\mathcal{B}]=\mathcal{O}(\log m)$. Answering a question raised by Temlyakov, Yang,…
We provide a first-order necessary and sufficient condition for optimality of lower semicontinuous functions on Banach spaces using the concept of subdifferential. From the sufficient condition we derive that any subdifferential operator is…
We investigate intrinsic Baire classes of Banach spaces defined by Argyros, Godefroy and Rosenthal (2003). We introduce a construction, for any Banach space $X$ with a basis, of an $\ell_1$-saturated separable Banach space $Y$ such that for…
We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…
We construct a family $(\mathcal{X}_\al)_{\al\le \omega_1}$ of reflexive Banach spaces with long transfinite bases but with no unconditional basic sequences. In our spaces $\mathcal{X}_\al$ every bounded operator $T$ is split into its…
In a previous paper (see arXiv:1003.3411 [math.CA]), we investigated the existence of an element x of a quasi-Banach space X whose errors of best approximation by a given approximation scheme (A_n) (defined by E(x,A_n) = \inf_{a \in A_n}…
We identify a condition on X that guarantees that any finite power of X is homeomorphic to a subspace of a linearly ordered space
One shows for Banach bundles in a certain class that having a second countable locally compact Hausdorff base space and separable fibers implies the separability of the Banach space of the all sections that vanish at infinity. In the…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
We consider families F of sequences converging to +infinity that F satisfies the following condition (C): (C): if an open set U in the real line is unbounded above then there exists a sequence belonging to F, which has an infinite number of…
In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…
For any sequence of positive numbers $(\varepsilon_n)_{n=1}^\infty$ such that $\sum_{n=1}^\infty \varepsilon_n = \infty$ we provide an explicit simple construction of $(1+\varepsilon_n)$-bounded Markushevich basis in a separable Hilbert…
A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…
We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q$, $\langle L[P],\in ,P \rangle$ and…
The invariance of nonlinear partial differential equations under a certain infinite-dimensional Lie algebra A_N(z) in N spatial dimensions is studied. The special case A_1(2) was introduced in J. Stat. Phys. {\bf 75}, 1023 (1994) and…
We are interested in the question when a Banach space $X$ with an unconditional basis is isomorphic (as a Banach space) to an order-continuous nonatomic Banach lattice. We show that this is the case if and only if $X$ is isomorphic as a…
Let $A$ be a Banach algebra. The flip on $A \otimes A^\op$ is defined through $A \otimes A^\op \ni a \tensor b \mapsto b \tensor a$. If $A$ is ultraprime, $\El(A)$, the algebra of all elementary operators on $A$, can be algebraically…
We provide a new extension of Pitt's theorem for compact operators between quasi-Banach lattices, which permits to describe unconditional bases of finite direct sums of Banach spaces $\mathbb{X}_{1}\oplus\dots\oplus\mathbb{X}_{n}$ as direct…
Let $UC(K)$ denote the Banach space of all bounded uniformly continuous functions on a hypergroup $K$. The main results of this article concern on the $\alpha$-amenability of $UC(K)$ and quotients and products of hypergroups. It is also…
For a countable ordinal a we denote by C_a the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by a. We show that each C_a admits a separable, reflexive universal space. We also…