Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Existentially closed models"
Now showing items 1-2 of 2
-
Article
Existentially Closed Models and Conservation Results in Bounded Arithmetic
(Oxford Academic, 2009)We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based ...
-
Article
Existentially Closed Models in the Framework of Arithmetic
(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. ...