You are here: TUCS > PUBLICATIONS > Publication Search > Unprovability of Herbrand Cons...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Unprovability of Herbrand Consistency in Waek Arithmetics
Saeed Salehi, Unprovability of Herbrand Consistency in Waek Arithmetics. In: Proceedings of the sixth ESSLLI Student Session, 265-274, 2001.
Abstract:
By introducing an appropriate definition of Herbrand Consistency in weak arithmetics,
we show Gödel's Second Incompleteness Theorem for Herbrand consistency of theories
containing IΔ<sub><b><small>0</small></b></sub>.
Files:
Full publication in PDF-format
BibTeX entry:
@INPROCEEDINGS{pSa01a,
title = {Unprovability of Herbrand Consistency in Waek Arithmetics},
booktitle = {Proceedings of the sixth ESSLLI Student Session},
author = {Salehi, Saeed},
pages = {265-274},
year = {2001},
}
Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics