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.