Constraint satisfaction problems, compactness and non-measurable sets
Die Arbeit zeigt, dass die Kompaktheit endlicher relationaler Strukturen mit Breite eins bereits in ZFC beweisbar ist, während sie im Allgemeinen die Existenz nicht-messbarer Mengen im dreidimensionalen Raum impliziert.