Artículo
Existentially Closed Models in the Framework of Arithmetic
Autor/es | Adamowicz, Zofia
Cordón Franco, Andrés Lara Martín, Francisco Félix |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2016 |
Fecha de depósito | 2019-06-21 |
Publicado en |
|
Resumen | 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 ... 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. |
Identificador del proyecto | MTM2011–26840 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Existentially Closed Models in ... | 187.6Kb | [PDF] | Ver/ | |