Pages that link to "Item:Q4917990"
From MaRDI portal
The following pages link to A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990):
Displaying 7 items.
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- Logical aspects of rates of convergence in metric spaces (Q3655262) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- Effective rates for iterations involving Bregman strongly nonexpansive operators (Q6661769) (← links)
