Two-element structures modulo primitive positive constructability

Abstract Primitive positive constructions have been introduced in recent work of Barto, Opršal, and Pinsker to study the computational complexity of constraint satisfaction problems. Let $${\mathfrak {P}}_{\mathrm {fin}}$$ Pfin be the poset which arises from ordering all finite relational structures... View More