Skip to main content
Article thumbnail
Location of Repository

Existential interpretation. II

By Yuri Gurevich


A method of existential interpretation was introduced in [2]. It allows proving undecidability of modest strata of many first order theories. Here we improve the method and its presentation, strengthen somewhat the previous results and prove a couple of new results. The reader is not supposed to be acquainted with [2]

Publisher: Springer-Verlag; Verlag W. Kohlhammer
Year: 1980
DOI identifier: 10.1007/BF02297651
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.