A proof-theoretic bound extraction theorem for CAT(κ)-spaces

Kohlenbach, Ulrich Wilhelm; Nicolae, Adriana

doi:10.1007/s11225-016-9702-z

Artículo

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

Ficheros	Tamaño	Formato	Ver	Descripción
A proof-theoretic bound extraction ...	286.3Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Artículos (Análisis Matemático)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional