- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Artículos (Ciencias de la Computación e Inteligencia Artificial)
- Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Adamowicz, Zofia"
Mostrando ítems 1-1 de 1
-
Artículo
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. ...