For structure pairs (A,B) without Olšák polymorphisms, the promise compactness K_(A,B) is equivalent to the ultrafilter principle over ZF, including K_(K3,K5) and K_(H2,Hc).
The CSP dichotomy, the axiom of choice, and cyclic polymorphisms
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.
citing papers explorer
-
Equivalences of promise compactness principles
For structure pairs (A,B) without Olšák polymorphisms, the promise compactness K_(A,B) is equivalent to the ultrafilter principle over ZF, including K_(K3,K5) and K_(H2,Hc).
-
When Darwin met Ianus: dichotomies of expressivity
Tractable temporal and phylogeny constraint languages have limited pp-interpretative power and admit 4-ary pseudo-Siggers polymorphisms, revealing a common core in their proofs.