Existentially Closed Models in the Framework of Arithmetic

Adamowicz, Zofia; Cordón Franco, Andrés; Lara Martín, Francisco Félix

doi:10.1017/jsl.2015.36

Artículo

dc.creator	Adamowicz, Zofia	es
dc.creator	Cordón Franco, Andrés	es
dc.creator	Lara Martín, Francisco Félix	es
dc.date.accessioned	2019-06-21T09:39:46Z
dc.date.available	2019-06-21T09:39:46Z
dc.date.issued	2016
dc.identifier.citation	Adamowicz, Z., Cordón Franco, A. y Lara Martín, F.F. (2016). Existentially Closed Models in the Framework of Arithmetic. The Journal of Symbolic Logic, 81 (2), 774-788.
dc.identifier.issn	0022-4812	es
dc.identifier.uri	https://hdl.handle.net/11441/87543
dc.description.abstract	We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.	es
dc.description.sponsorship	Ministerio de Educación y Ciencia MTM2011–26840	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	The Association for Symbolic Logic	es
dc.relation.ispartof	The Journal of Symbolic Logic, 81 (2), 774-788.
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Fragments of Peano arithmetic	es
dc.subject	Existentially closed models	es
dc.subject	Turing degrees of arithmetic theories	es
dc.title	Existentially Closed Models in the Framework of Arithmetic	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 Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	MTM2011–26840	es
dc.relation.publisherversion	https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/existentially-closed-models-in-the-framework-of-arithmetic/2071E739F935493822C96EB2FF71FF86	es
dc.identifier.doi	10.1017/jsl.2015.36	es
idus.format.extent	14	es
dc.journaltitle	The Journal of Symbolic Logic	es
dc.publication.volumen	81	es
dc.publication.issue	2	es
dc.publication.initialPage	774	es
dc.publication.endPage	788	es
dc.identifier.sisius	21258890	es

Ficheros	Tamaño	Formato	Ver	Descripción
Existentially Closed Models in ...	187.6Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Artículos (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