Title of article :
Controlling witnesses
Author/Authors :
Matthias Baaz، نويسنده , , Matthias، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Abstract :
This paper presents a translation which allows one to describe constructive provability (in the sense of usual mathematics) within classical first-order logic.
Keywords :
Herbrand’s theorem , Constructivity , Translation
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
