BIRS Workshop Lecture Videos
Conjectures for clones over finitely bounded homogenous structures Pinsker, Michael
There has been a conjectured criterion, by Manuel Bodirsky and myself, for when deciding the truth of a primitive positive sentence over a reduct of a finitely bounded homogeneous structure is tractable. This criterion has recently been replaced by a seemingly better criterion, although the equivalence of the two criteria is an open problem. We discuss the two conjectures, their relation, and further related conjectures and thoughts.
Item Citations and Data
Attribution-NonCommercial-NoDerivatives 4.0 International