Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073): Difference between revisions

@@ Property / DOI @@
-.1016/j.aim.2015.12.007
@@ Property / DOI: 10.1016/j.aim.2015.12.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.aim.2015.12.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2182766684
@@ Property / OpenAlex ID: W2182766684 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard methods in fixed point theory
@@ Property / cites work: Nonstandard methods in fixed point theory / rank @@
+Normal rank
@@ Property / cites work @@
+A metastable dominated convergence theorem
@@ Property / cites work: A metastable dominated convergence theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts and metastability
@@ Property / cites work: Ultraproducts and metastability / rank @@
+Normal rank
@@ Property / cites work @@
+Metastability in the Furstenberg–Zimmer tower
@@ Property / cites work: Metastability in the Furstenberg–Zimmer tower / rank @@
+Normal rank
@@ Property / cites work @@
+CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
+Normal rank
@@ Property / cites work @@
+Q3602612
@@ Property / cites work: Q3602612 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Q5514858
@@ Property / cites work: Q5514858 / 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 @@
+Q3999276
@@ Property / cites work: Q3999276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694957
@@ Property / cites work: Q5694957 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded functional interpretation
@@ Property / cites work: Bounded functional interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+The asymptotic behavior of the solutions of the Cauchy problem generated by \(\phi\)-accretive operators
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+Normal rank
@@ Property / cites work @@
+Measures defined by abstract \(L_{p}\) spaces
@@ Property / cites work: Measures defined by abstract \(L_{p}\) 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 @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Uniformly non-square Banach spaces
@@ Property / cites work: Uniformly non-square Banach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
+Normal rank
@@ Property / cites work @@
+Quantitative image recovery theorems
@@ Property / cites work: Quantitative image recovery theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837732
@@ Property / cites work: Q3837732 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointwise hereditary majorization and some applications
+Normal rank
@@ Property / cites work @@
+Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
+Normal rank
@@ Property / cites work @@
+Effective metastability of Halpern iterates in \(CAT(0)\) spaces
+Normal rank
@@ Property / cites work @@
+On the computational content of convergence proofs via Banach limits
+Normal rank
@@ Property / cites work @@
+Packing and Reflexivity in Banach Spaces
@@ Property / cites work: Packing and Reflexivity in Banach Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+Q4772256
@@ Property / cites work: Q4772256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687219
@@ Property / cites work: Q3687219 / rank @@
+Normal rank
@@ Property / cites work @@
+Absolutely summing operators in $ℒ_{p}$-spaces and their applications
+Normal rank
@@ Property / cites work @@
+Q4188284
@@ Property / cites work: Q4188284 / rank @@
+Normal rank
@@ Property / cites work @@
+Banach lattices
@@ Property / cites work: Banach lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On \(P\)- and \(p\)-convexity of Banach spaces
@@ Property / cites work: On \(P\)- and \(p\)-convexity of Banach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Charakterisierung des allgemeinen $C$-Raumes
+Normal rank
@@ Property / cites work @@
+Q4049667
@@ Property / cites work: Q4049667 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonsquareness and locally uniform nonsquareness in Orlicz-Bochner function spaces endowed with Luxemburg norm
+Normal rank
@@ Property / cites work @@
+Q2762769
@@ Property / cites work: Q2762769 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrafilters in reverse mathematics
@@ Property / cites work: Ultrafilters in reverse mathematics / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AIM.2015.12.007
@@ Property / DOI: 10.1016/J.AIM.2015.12.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:908073