Matthew Snodgrass

Compactness Principles for CSPs and the Axiom of Chocie

We can associate a compactness principle $\mathcal K_{\mathcal{D}}$ to the Constraint Satisfaction Problem (CSP) with constraint library $\mathcal{D}$. These principles were studied by Kat\'ay, T\'oth, and Vidny\'anszky and by Rorabaugh, Tardif, and Wehlau. We expand their work comparing the strength of $K_{\mathcal{D}...