• 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 Weak Arithmetics

Saeed Salehi, Unprovability of Herbrand Consistency in Weak Arithmetics. In: Bulletin of Symbolic Logic, 1 8, 156, Association for Symbolic Logic, 2002.

Abstract:

Abstract of a contributed talk in the ASL European Summer Meeting, Logic Colloquium'2001 (LC01), Vienna, Austria, 2001.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{pSa02a,
  title = {Unprovability of Herbrand Consistency in Weak Arithmetics},
  booktitle = {Bulletin of Symbolic Logic},
  author = {Salehi, Saeed},
  volume = {8},
  series = {1},
  publisher = {Association for Symbolic Logic},
  pages = {156},
  year = {2002},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Edit publication