Skip to main content
Article thumbnail
Location of Repository

Existential interpretation. II

By Yuri Gurevich

Abstract

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: oai:deepblue.lib.umich.edu:2027.42/46063
Journal:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/2027.42/... (external link)
  • http://dx.doi.org/10.1007/BF02... (external link)
  • Suggested articles


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