Henkin quantifiers and complete problems

Andreas Blass, Yuri Gurevich
<span title="">1986</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
We analyze computational aspects of partially ordered quantification in first-order logic. show that almost any non-linear quantifier, applied to quantifier-free first-order formtt suffices to express an N~-complete predicate. The remaining non-linear quantifiers expJ exactly co-NLe predicates.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(86)90040-0">doi:10.1016/0168-0072(86)90040-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/opxpt5xq7be2fn73jspwocmrjy">fatcat:opxpt5xq7be2fn73jspwocmrjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200313090440/https://deepblue.lib.umich.edu/bitstream/handle/2027.42/26312/0000397.pdf;jsessionid=C50338AA6C68C4D30295FEFE22C5C893?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0c/c6/0cc6344f3ab9e6ade2812877ec05abd89448f2fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0168-0072(86)90040-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>