Skip to main content
SpringerLink
Log in

Existential interpretation. II

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

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].

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Büchi, J.R.: Turing machines and the entscheidungsproblem. Math. Ann.148, 201–213 (1962).

    Article  MATH  MathSciNet  Google Scholar 

  2. Gurevich, Y.: Existential interpretation. Algebra and Logic4, 71–85 (1965).

    MATH  Google Scholar 

  3. Gurevich, Y.: New applications of the existential interpretation method. Abstracts of 1972 Moscow Conference in Math. Logic.

  4. Gurevich, Y.: Semi-conservative reduction. Arch. math. Logik18, 23–25 (1976).

    MATH  MathSciNet  Google Scholar 

  5. Lewis, H.R.: Unsolvable classes of quantificational formulas. Addison-Wesley Publishing Co. (to appear).

  6. Malcev, A.I.: Algorithms and recursive functions. Moscow: Nauka 1965.

    Google Scholar 

  7. Muchnik, A.A.: Isomorphism of systems of recursively enumerable sets with effective properties. Trudy (Transactions) of Moscow Math. Soc.7, 407–412 (1958).

    MATH  Google Scholar 

  8. Smullyan, R.M.: Theory of formal systems. Ann. Math. Studies47 (1961).

  9. Suranyi, J.: Reduktionstheorie des Entscheidungsproblems. Budapest, 1959.

Download references

Author information

Authors and Affiliations

  1. Mathematics Dept., Ben-Gurion University, Beer-Sheva, Israel

    Yuri Gurevich

  2. Computer Science Dept., University of Michigan, 48109, Ann. Arbor, MI

    Yuri Gurevich

Authors
  1. Yuri Gurevich
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gurevich, Y. Existential interpretation. II. Arch math Logik 22, 103–120 (1980). https://doi.org/10.1007/BF02297651

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02297651

Keywords

Search

Navigation