ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Turing degrees of arithmetic theories"
Mostrando ítems 1-1 de 1
-
Artículo
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. ...