PROOF MINING IN Lp SPACES (Q5207569): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2019.55
@@ Property / DOI: 10.1017/jsl.2019.55 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.02080
@@ Property / arXiv ID: 1609.02080 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts and metastability
@@ Property / cites work: Ultraproducts and metastability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602612
@@ Property / cites work: Q3602612 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Model Theory. (AM-58)
@@ Property / cites work: Continuous Model Theory. (AM-58) / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly uniform bounds from semi-constructive proofs
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+Normal rank
@@ Property / cites work @@
+Logical metatheorems for abstract spaces axiomatized in positive bounded logic
+Normal rank
@@ Property / cites work @@
+On the uniform convexity of \(L^p\) and \(l^p\)
@@ Property / cites work: On the uniform convexity of \(L^p\) and \(l^p\) / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard hulls of Banach spaces
@@ Property / cites work: Nonstandard hulls of Banach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411217
@@ Property / cites work: Q4411217 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of \(L_p (L_q)\)-Banach lattices
@@ Property / cites work: On the theory of \(L_p (L_q)\)-Banach lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Grundlagen der Mathematik I
@@ Property / cites work: Grundlagen der Mathematik I / rank @@
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
@@ Property / cites work: PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of convergence proofs via Banach limits
+Normal rank
@@ Property / cites work @@
+Langages à valeurs réelles et applications
@@ Property / cites work: Langages à valeurs réelles et applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772256
@@ Property / cites work: Q4772256 / rank @@
+Normal rank
@@ Property / cites work @@
+Absolutely summing operators in $ℒ_{p}$-spaces and their applications
+Normal rank
@@ Property / cites work @@
+Classical Banach spaces
@@ Property / cites work: Classical Banach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051116
@@ Property / cites work: Q4051116 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on contractive projections in \(L_{p}\)-spaces
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2019.55
@@ Property / DOI: 10.1017/JSL.2019.55 / rank @@
+Normal rank

PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569): Difference between revisions

Latest revision as of 16:21, 30 December 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)