Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Some undecidable problems related to the Herbrand theorem

Yuri Gurevich and Margus Veanes

Abstract

We improve upon a number of recent undecidability results related to the so­called Herbrand Skeleton Problem, the Simultaneous Rigid E-­Unification Problem and the prenex fragment of intuitionistic logic with equality.

Details

Publication typeTechReport
Number138
SeriesUPMAIL Technical Reports
InstitutionUppsala University, Computing Science Department
> Publications > Some undecidable problems related to the Herbrand theorem