An inverse Ackermannian lower bound on the local unconditionality constant of the James space

MaRDI QIDQ4623055zbMATH OpenFDO

Authors Henry Towsner

Publication date 18 February 2019

Full work available at URL https://arxiv.org/abs/1503.04745

zbMATH Keywords

Ackermann functionJames spacelocal unconditionalityproof miningultraproduct

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Local theory of Banach spaces (46B07) Ultraproduct techniques in Banach space theory (46B08) Classical Banach spaces in the general theory (46B25)

Abstract: The proof that the James space is not locally unconditional appears to be non-constructive, since it makes use of an ultraproduct construction. Using proof mining, we extract a constructive proof and obtain a lower bound on the growth of the local unconditionality constants.

Recommendations

• New Computational Paradigms
• On a generalized James constant
• General logical metatheorems for functional analysis
• scientific article; zbMATH DE number 4190424
• The James constant for the \(l_{3}\)-\(l_{1}\) space

This page was built for publication: An inverse Ackermannian lower bound on the local unconditionality constant of the James space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4623055)