Article
Existentially Closed Models in the Framework of Arithmetic
Author/s | Adamowicz, Zofia
Cordón Franco, Andrés ![]() ![]() ![]() ![]() ![]() ![]() ![]() Lara Martín, Francisco Félix ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2016 |
Deposit Date | 2019-06-21 |
Published in |
|
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 ... 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. |
Project ID. | MTM2011–26840
![]() |
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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Existentially Closed Models in ... | 187.6Kb | ![]() | View/ | |