On Rules and Parameter Free Systems in Bounded Arithmetic

Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix

doi:10.1007/978-3-540-73001-9_19

Ponencia

dc.creator	Cordón Franco, Andrés	es
dc.creator	Fernández Margarit, Alejandro	es
dc.creator	Lara Martín, Francisco Félix	es
dc.date.accessioned	2019-06-27T09:19:07Z
dc.date.available	2019-06-27T09:19:07Z
dc.date.issued	2007
dc.identifier.citation	Cordón Franco, A., Fernández Margarit, A. y Lara Martín, F.F. (2007). On Rules and Parameter Free Systems in Bounded Arithmetic. En CiE 2007: 3rd Conference on Computability in Europe (179-188), Siena, Italy: Springer.
dc.identifier.isbn	978-3-540-73000-2	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	https://hdl.handle.net/11441/87642
dc.description.abstract	We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.	es
dc.description.sponsorship	Ministerio de Educación y Ciencia MTM2005-08658	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	CiE 2007: 3rd Conference on Computability in Europe (2007), p 179-188
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Bounded arithmetic	es
dc.subject	Conservation results	es
dc.subject	Parameter free schemes	es
dc.title	On Rules and Parameter Free Systems in Bounded Arithmetic	es
dc.type	info:eu-repo/semantics/conferenceObject	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 Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	MTM2005-08658	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007%2F978-3-540-73001-9_19	es
dc.identifier.doi	10.1007/978-3-540-73001-9_19	es
idus.format.extent	10	es
dc.publication.initialPage	179	es
dc.publication.endPage	188	es
dc.eventtitle	CiE 2007: 3rd Conference on Computability in Europe	es
dc.eventinstitution	Siena, Italy	es
dc.relation.publicationplace	Berlin	es
dc.identifier.sisius	6525851	es

Ficheros	Tamaño	Formato	Ver	Descripción
On Rules and Parameter Free ...	519.2Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

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