Logical metatheorems for abstract spaces axiomatized in positive bounded logic

DOI10.1016/j.aim.2015.12.007zbMath1402.03078MaRDI QIDQ908073

Ulrich Kohlenbach, Daniel Günzel

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

zbMATH Keywords

uniform boundedness principle; ultrapower; proof mining; positive bounded logic

Mathematics Subject Classification ID

46E30: Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.)

46B42: Banach lattices

46B08: Ultraproduct techniques in Banach space theory

03F10: Functionals in proof theory

03C20: Ultraproducts and related constructions