PROOF MINING IN Lp SPACES

DOI10.1017/JSL.2019.55zbMath1480.03059arXiv1609.02080OpenAlexW2971193166MaRDI QIDQ5207569

Andrei Sipoş

Publication date: 10 January 2020

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

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

zbMATH Keywords

uniform convexity\(L^p\) spacesproof miningmetatheorems

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

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

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