Logical metatheorems for abstract spaces axiomatized in positive bounded logic

DOI10.1016/J.AIM.2015.12.007zbMATH Open1402.03078OpenAlexW2182766684MaRDI QIDQ908073FDOQ908073

Authors: Daniel Günzel, Ulrich Kohlenbach 

Publication date: 2 February 2016

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2015.12.007

Recommendations

• Modal logics of metric spaces
• Quantified intuitionistic logic over metrizable spaces
• Some logical metatheorems with applications in functional analysis
• Logics of metric spaces
• General logical metatheorems for functional analysis
• Modal logics for metric spaces: open problems
• On the logic of generalised metric spaces
• Foundations for the formalization of metamathematics and axiomatizations of consequence theories
• Notes on logics of metric spaces
• Positive results in abstract model theory: a theory of compact logics

zbMATH Keywords

proof miningultrapoweruniform boundedness principlepositive bounded logic

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) Ultraproduct techniques in Banach space theory (46B08) Banach lattices (46B42) Ultraproducts and related constructions (03C20) Functionals in proof theory (03F10)

Cites Work

• Nonlinear functional analysis. Fixed point theory and its applications
• Title not available (Why is that?)
• Banach lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some logical metatheorems with applications in functional analysis
• Absolutely summing operators in $ℒ_{p}$-spaces and their applications
• Nonstandard methods in fixed point theory
• Model theory for metric structures
• Ultraproducts and metastability
• Title not available (Why is that?)
• Uniformly non-square Banach spaces
• Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
• Title not available (Why is that?)
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Title not available (Why is that?)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Title not available (Why is that?)
• On the computational content of convergence proofs via Banach limits
• Continuous Model Theory. (AM-58)
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Nonsquareness and locally uniform nonsquareness in Orlicz-Bochner function spaces endowed with Luxemburg norm
• On \(P\)- and \(p\)-convexity of Banach spaces
• Packing and Reflexivity in Banach Spaces
• Bounded functional interpretation
• The asymptotic behavior of the solutions of the Cauchy problem generated by \(\phi\)-accretive operators
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Ultrafilters in reverse mathematics
• Title not available (Why is that?)
• Quantitative image recovery theorems
• Title not available (Why is that?)
• Über die Charakterisierung des allgemeinen $C$-Raumes
• Measures defined by abstract \(L_{p}\) spaces
• Pointwise hereditary majorization and some applications
• A metastable dominated convergence theorem
• On the theory of \(L_p (L_q)\)-Banach lattices
• Non-principal ultrafilters, program extraction and higher-order reverse mathematics
• Metastability in the Furstenberg-Zimmer tower
• A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
• Continuous first order logic for unbounded metric structures

Cited In (12)

• Strongly uniform bounds from semi-constructive proofs
• A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• General logical metatheorems for functional analysis
• Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
• A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man game
• PROOF MINING IN L^p SPACES
• 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
• Quantitative results on Fejér monotone sequences
• Some logical metatheorems with applications in functional analysis
• The finitary content of sunny nonexpansive retractions

This page was built for publication: Logical metatheorems for abstract spaces axiomatized in positive bounded logic

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