Show simple item record

Existential interpretation. II

dc.contributor.authorGurevich, Yurien_US
dc.date.accessioned2006-09-11T17:20:04Z
dc.date.available2006-09-11T17:20:04Z
dc.date.issued1980-09en_US
dc.identifier.citationGurevich, Yuri; (1980). "Existential interpretation. II." Archiv für Mathematische Logik und Grundlagenforschung 22 (3-4): 103-120. <http://hdl.handle.net/2027.42/46063>en_US
dc.identifier.issn1432-0665en_US
dc.identifier.issn0933-5846en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/46063
dc.description.abstractA 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].en_US
dc.format.extent1043486 bytes
dc.format.extent3115 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherSpringer-Verlag; Verlag W. Kohlhammeren_US
dc.subject.otherMathematical Logic and Foundationsen_US
dc.subject.otherMathematics, Generalen_US
dc.subject.otherMathematicsen_US
dc.subject.otherAlgebraen_US
dc.titleExistential interpretation. IIen_US
dc.typeArticleen_US
dc.subject.hlbsecondlevelMathematicsen_US
dc.subject.hlbtoplevelScienceen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumMathematics Dept., Ben-Gurion University, Beer-Sheva, Israel; Computer Science Dept., University of Michigan, 48109, Ann. Arbor, MIen_US
dc.contributor.affiliationumcampusAnn Arboren_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/46063/1/153_2005_Article_BF02297651.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1007/BF02297651en_US
dc.identifier.sourceArchiv für Mathematische Logik und Grundlagenforschungen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.