سال انتشار: ۱۳۸۶
محل انتشار: سی و هشتمین کنفرانس ریاضی ایران
تعداد صفحات: ۳
SAEED SALEHI – Department of Mathematics, Institute For Advanced Studies in Basic Sciences (IASBS)
Model logic of Herbrand-style provability in weake arthmetics is studied. Though full axiomation of this logic is an open problem, we present some axioms and rules of this logic which are sufficient to derive a formalized form of Godels second incompleteness theorem for Herbrand provability of I∆۰+Ω۱٫ In other world, we shown that I∆۰+Ω۱ can prove the unprovability of its Herbarand consistency in itself.