View Item 

Show simple item record

Henkin quantifiers and complete problems

dc.contributor.authorBlass, Andreasen_US
dc.contributor.authorGurevich, Yurien_US
dc.date.accessioned2006-04-07T19:36:09Z
dc.date.available2006-04-07T19:36:09Z
dc.date.issued1986en_US
dc.identifier.citationBlass, Andreas, Gurevich, Yuri (1986)."Henkin quantifiers and complete problems." Annals of Pure and Applied Logic 32(): 1-16. <http://hdl.handle.net/2027.42/26312>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B6TYB-48HRXG0-2/2/d869d3939b219d96073232ceaf4679a0en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/26312
dc.description.abstractWe analyze computational aspects of partially ordered quantification in first-order logic. Show that almost any non-linear quantifier, applied to quantifier-free first-order formula suffices to express an -complete predicate. The remaining non-linear quantifiers experiment exactly co- predicates.en_US
dc.format.extent1120664 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleHenkin quantifiers and complete problemsen_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelMathematicsen_US
dc.subject.hlbtoplevelScienceen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumMathematics Department and Electrical Engineering and Computer Science Department, The University of Michigan, Ann Arbor, MI 48109, USAen_US
dc.contributor.affiliationumMathematics Department and Electrical Engineering and Computer Science Department, The University of Michigan, Ann Arbor, MI 48109, USAen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/26312/1/0000397.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1016/0168-0072(86)90040-0en_US
dc.identifier.sourceAnnals of Pure and Applied Logicen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000397.pdf
Size:
1.068MB
Format:
PDF
View/Open

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.