PROOF MINING IN Lp SPACES
From MaRDI portal
Publication:5207569
DOI10.1017/jsl.2019.55zbMath1480.03059arXiv1609.02080OpenAlexW2971193166MaRDI QIDQ5207569
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
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 (1)
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 Lp SPACES
