Artículo
A proof-theoretic bound extraction theorem for CAT(κ)-spaces
Autor/es | Kohlenbach, Ulrich Wilhelm
Nicolae, Adriana |
Departamento | Universidad de Sevilla. Departamento de Análisis Matemático |
Fecha de publicación | 2017-06 |
Fecha de depósito | 2017-09-07 |
Publicado en |
|
Resumen | Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this ... Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT(κ)-spaces X for κ > 0 and establish a new metatheorem that explains specific bound extractions that recently have been achieved in this context as instances of a general logical phenomenon. |
Agencias financiadoras | Deutsche Forschungsgemeinschaft / German Research Foundation (DFG) Dirección General de Enseñanza Superior. España |
Identificador del proyecto | KO 1737/5-2
MTM2015-65242-C2-1-P |
Cita | Kohlenbach, U.W. y Nicolae, A. (2017). A proof-theoretic bound extraction theorem for CAT(κ)-spaces. Studia Logica, 105 (3), 611-624. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
A proof-theoretic bound extraction ... | 286.3Kb | [PDF] | Ver/ | |