Some logical metatheorems with applications in functional analysis (Q4819747)
From MaRDI portal
scientific article; zbMATH DE number 2106154
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some logical metatheorems with applications in functional analysis |
scientific article; zbMATH DE number 2106154 |
Statements
Some logical metatheorems with applications in functional analysis (English)
0 references
5 October 2004
0 references
proof mining
0 references
functionals of finite type
0 references
convex analysis
0 references
nonexpansive mappings
0 references
fixed-point theory
0 references
hyperbolic spaces
0 references
CAT(0)-spaces
0 references
0 references
0 references
0 references
