oaioai:deepblue.lib.umich.edu:2027.42/46063

Existential interpretation. II

Authors
Publication date
1 September 1980
Publisher
Springer-Verlag; Verlag W. Kohlhammer
Doi

    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].Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46063/1/153_2005_Article_BF02297651.pd

    Similar works

    Full text

    thumbnail-image

    Deep Blue Documents at the University of Michigan

    redirect
    oaioai:deepblue.lib.umich.edu:202...
    Last time updated on 25/05/2012

    This paper was published in Deep Blue Documents at the University of Michigan.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.