Some specially formulated axiomizations for I manage to evade the Herbrandized version of the Second Incompleteness Theorem |
| |
Authors: | Dan E. Willard |
| |
Affiliation: | aUniversity of Albany, Computer Science and Mathematics Departments, NY 12222, USA |
| |
Abstract: | In 1981, Paris and Wilkie indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that some specially formulated axiomizations for IΣ0 can evade the Herbrandized version of the Second Incompleteness Theorem. |
| |
Keywords: | Gö del’ s Second Incompleteness Theorem Herbrand consistency |
本文献已被 ScienceDirect 等数据库收录! |