Logical metatheorems for abstract spaces axiomatized in positive bounded logic
type: Item
instance of: scholarly article
title: Logical metatheorems for abstract spaces axiomatized in positive bounded logic
zbMATH Open document ID: 1402.03078
author: Daniel Günzel
author: Ulrich Kohlenbach
published in: Advances in Mathematics
publication date: 2016-02-02T00:00:00Z
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03C20
Mathematics Subject Classification ID: 46B08
Mathematics Subject Classification ID: 46B42
Mathematics Subject Classification ID: 46E30
zbMATH DE Number: 6538725
zbMATH Keywords: proof mining
zbMATH Keywords: positive bounded logic
zbMATH Keywords: ultrapower
zbMATH Keywords: uniform boundedness principle
MaRDI profile type: Publication
full work available at URL: j.aim.2015.12.007
OpenAlex ID: W2182766684
cites work: Nonstandard methods in fixed point theory
cites work: A metastable dominated convergence theorem
cites work: Ultraproducts and metastability
cites work: Metastability in the Furstenberg–Zimmer tower
cites work: CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
cites work: Q3602612
cites work: Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
cites work: Q5514858
cites work: Continuous Model Theory. (AM-58)
cites work: Q3999276
cites work: Q5694957
cites work: Bounded functional interpretation
cites work: The asymptotic behavior of the solutions of the Cauchy problem generated by \(\phi\)-accretive operators
cites work: General logical metatheorems for functional analysis
cites work: Measures defined by abstract \(L_{p}\) spaces
cites work: Q4411217
cites work: On the theory of \(L_p (L_q)\)-Banach lattices
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Uniformly non-square Banach spaces
cites work: Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
cites work: Quantitative image recovery theorems
cites work: Q3837732
cites work: Pointwise hereditary majorization and some applications
cites work: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
cites work: Some logical metatheorems with applications in functional analysis
cites work: A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
cites work: Effective metastability of Halpern iterates in \(CAT(0)\) spaces
cites work: On the computational content of convergence proofs via Banach limits
cites work: Packing and Reflexivity in Banach Spaces
cites work: Non-principal ultrafilters, program extraction and higher-order reverse mathematics
cites work: Q4772256
cites work: Q3687219
cites work: Absolutely summing operators in $ℒ_{p}$-spaces and their applications
cites work: Q4188284
cites work: Banach lattices
cites work: On \(P\)- and \(p\)-convexity of Banach spaces
cites work: Über die Charakterisierung des allgemeinen $C$-Raumes
cites work: Q4049667
cites work: Nonsquareness and locally uniform nonsquareness in Orlicz-Bochner function spaces endowed with Luxemburg norm
cites work: Nonlinear functional analysis. Fixed point theory and its applications
cites work: Ultrafilters in reverse mathematics
DOI: 10.1016/J.AIM.2015.12.007
Recommended article: MODAL LOGICS OF METRIC SPACES
Recommended article: QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES
Recommended article: Some logical metatheorems with applications in functional analysis
Recommended article: Logics of metric spaces
Recommended article: General logical metatheorems for functional analysis
Recommended article: Q3012529
Recommended article: On the Logic of Generalised Metric Spaces
Recommended article: Foundations for the formalization of metamathematics and axiomatizations of consequence theories
Recommended article: Notes on logics of metric spaces
Recommended article: Positive results in abstract model theory: a theory of compact logics
description: scientific article; zbMATH DE number 6538725