- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Browsing Ciencias de la Computación e Inteligencia Artificial by Author
Browsing Ciencias de la Computación e Inteligencia Artificial by Author "Adamowicz, Zofia"
Now showing items 1-1 of 1
-
Article
Existentially Closed Models in the Framework of Arithmetic
Adamowicz, Zofia; Cordón Franco, Andrés; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2016)We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. ...