dc.creator | Kohlenbach, Ulrich Wilhelm | es |
dc.creator | Nicolae, Adriana | es |
dc.date.accessioned | 2017-09-07T11:20:08Z | |
dc.date.available | 2017-09-07T11:20:08Z | |
dc.date.issued | 2017-06 | |
dc.identifier.citation | Kohlenbach, U.W. y Nicolae, A. (2017). A proof-theoretic bound extraction theorem for CAT(κ)-spaces. Studia Logica, 105 (3), 611-624. | |
dc.identifier.issn | 0039-3215 | es |
dc.identifier.issn | 1572-8730 | es |
dc.identifier.uri | http://hdl.handle.net/11441/64256 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | German Science Foundation | es |
dc.description.sponsorship | Dirección General de Enseñanza Superior | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Studia Logica, 105 (3), 611-624. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Proof mining | es |
dc.subject | Effective bounds | es |
dc.subject | CAT(κ)-spaces | es |
dc.title | A proof-theoretic bound extraction theorem for CAT(κ)-spaces | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Análisis Matemático | es |
dc.relation.projectID | KO 1737/5-2 | es |
dc.relation.projectID | MTM2015-65242-C2-1-P | es |
dc.relation.publisherversion | https://link.springer.com/content/pdf/10.1007%2Fs11225-016-9702-z.pdf | es |
dc.identifier.doi | 10.1007/s11225-016-9702-z | es |
dc.contributor.group | Universidad de Sevilla. FQM127: Análisis Funcional no Lineal | es |
idus.format.extent | 12 p. | es |
dc.journaltitle | Studia Logica | es |
dc.publication.volumen | 105 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 611 | es |
dc.publication.endPage | 624 | es |
dc.contributor.funder | Deutsche Forschungsgemeinschaft / German Research Foundation (DFG) | |
dc.contributor.funder | Dirección General de Enseñanza Superior. España | |