PROOF MINING IN Lp SPACES

DOI10.1017/JSL.2019.55MaRDI QIDQ5207569zbMATH OpenOpenAlexFDO

Authors Andrei Sipoş

Publication date 10 January 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

\(L^p\) spacesmetatheoremsproof mininguniform convexity

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Classical Banach spaces in the general theory (46B25) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)

Abstract: We obtain an equivalent implicit characterization of $L^p$ Banach spaces that is amenable to a logical treatment. Using that, we obtain an axiomatization for such spaces into a higher-order logical system, the kind of which is used in proof mining, a research program that aims to obtain the hidden computational content of mathematical proofs using tools from mathematical logic. As an aside, we obtain a concrete way of formalizing $L^p$ spaces in positive-bounded logic. The axiomatization is followed by a corresponding metatheorem in the style of proof mining. We illustrate its use with the derivation for this class of spaces of the standard modulus of uniform convexity.

Recommendations

• Proof mining in \(L_{1}\)-approximation
• New Computational Paradigms
• Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
• An application of proof mining to the proximal point algorithm in CAT(0) spaces
• An application of proof mining to nonlinear iterations
• scientific article; zbMATH DE number 2174396
• Proof mining in topological dynamics
• scientific article; zbMATH DE number 1500532
• scientific article; zbMATH DE number 7178366

Cites work

• Absolutely summing operators in $ℒ_{p}$-spaces and their applications
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Classical Banach spaces
• Continuous Model Theory. (AM-58)
• General logical metatheorems for functional analysis
• Grundlagen der Mathematik I
• scientific article; zbMATH DE number 3465972 (Why is no real title available?)
• scientific article; zbMATH DE number 1946951 (Why is no real title available?)
• scientific article; zbMATH DE number 3447547 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• Langages à valeurs réelles et applications
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic
• Model theory for metric structures
• Nonstandard hulls of Banach spaces
• On the computational content of convergence proofs via Banach limits
• On the theory of \(L_p (L_q)\)-Banach lattices
• On the uniform convexity of L^p and l^p
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• Remarks on contractive projections in \(L_{p}\)-spaces
• Some logical metatheorems with applications in functional analysis
• Strongly uniform bounds from semi-constructive proofs
• Ultraproducts and metastability

Cited in

(7)

• An application of proof mining to nonlinear iterations
• A proof‐theoretic metatheorem for tracial von Neumann algebras
• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
• Proof mining and probability theory
• On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis
• A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
• A proof-theoretic bound extraction theorem for monotone operators in Banach spaces

This page was built for publication: PROOF MINING IN L^p SPACES

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